|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31620 occurrences of 9417 keywords
|
|
|
Results
Found 57265 publication records. Showing 57265 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | José Barahona da Fonseca, Isabel Barahona da Fonseca, José Simões da Fonseca |
Cognitive Processes in Social Interaction - A Neural Networks Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Biological and Artificial Computation: From Neuroscience to Technology, International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997, Proceedings, pp. 660-667, 1997, Springer, 3-540-63047-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
script representation, social interaction, cognitive processes |
14 | Tuomas Aura, Johan Lilius |
Time Processes for Time Petri-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 136-155, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
net theory, processes, timing analysis, causality, time Petri nets, partial order semantics |
14 | Antonio dos Santos, Simone Vasconcelos Ribeiro, Luciano G. Fagundes, Ricardo M. Kayo, Tédi I. Zanfolim, Cibele Brunetto |
SACE-CSCW: A Synchronous Asynchronous Common Environment for Computer Supported Cooperative Work to Aid Concurrent Engineering Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 218-226, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SACE-CSCW, synchronous asynchronous common environment, concurrent engineering processes, Java environment, computer supported cooperative work, concurrent engineering, brainstorming, remote method invocation, decision making process, system prototype |
14 | Jürgen Herzberger |
On the Q-Order of Convergence for Coupled Sequences Arising in Iterative Numerical Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 57(4), pp. 357-364, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Q-order, non-negative matrices, Iterative processes |
14 | Michael Mitzenmacher |
Load Balancing and Density Dependent Jump Markov Processes (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 213-222, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
density dependent jump Markov processes, dynamic randomized load balancing, Poisson stream, first-in first-out protocol, supermarket model, load balancing, protocols, servers, parallel processors, service time |
14 | Nancy A. Staudenmayer |
Moving away from a hacker vs. disciplined-based organizational legacy-an organization theory perspective on software processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: 10th International Software Process Workshop, ISPW 1996, June 17-19, 1996, Dijon, France, pp. 104-108, 1996, IEEE Computer Society, 0-8186-7725-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hacker approach, disciplined-based approach, software firms, product choice, managerial challenges, software development, software processes, software development management, software products, organization theory |
14 | Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström |
OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 38-47, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
OPSIS, graph based process modelling languages, interface elements, link relations, merge operation, process reuse, reusable fragments, sub model, type view, view mechanism, user interfaces, complexity, Petri net, Petri nets, software processes, software reusability, simulation languages, composition operators, process evolution, global model |
14 | Eitan Altman, Shaler Stidham Jr. |
Optimality of monotonic policies for two-action Markovian decision processes, with applications to control of queues with delayed information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(3-4), pp. 267-291, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
monotone policies, delayed information and actions, Markov decision processes, submodularity |
14 | Siegfried Grabner, Dieter Kranzlmüller, Jens Volkert |
Debugging of concurrent processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 547-554, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
concurrent processes debugging, larger problem sizes, memory hot spots, global clock, event graph manipulation tool ATEMPT, parallel programming, parallel program, error detection, error detection, program testing, memory architecture, program debugging, shared memory architectures, bus contention |
14 | Pirkko Walden, Christer Carlsson |
Hyperknowledge and expert systems: a case study of knowledge formation processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 73-90, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
knowledge formation processes, action programs, sustainable competitive advantages, business units, strategic planning period, Woodstrat, action program activities, business unit levels, competitive elements, intermodular links, user-developed expert knowledge, hyperknowledge user interface, user interfaces, case study, expert systems, expert systems, business data processing, strategic planning, user-supportive, strategic management |
14 | Gerardo Canfora, Anna Rita Fasolino, Maria Tortorella |
Towards reengineering in reuse reengineering processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 147-156, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
reuse reengineering processes, productivity improvement, reference paradigms, RE/sup 2/ paradigm, election phase, COBOL programs, candidate components, reusable modules, module template, COBOL code components, reverse engineering, reverse engineering, software maintenance, software quality, software quality, software reuse, software reusability, COBOL, systems re-engineering, subroutines, human resource management |
14 | Takahiko Horiuchi, Kazuo Toraichi, Kazuhiko Yamamoto, Hiromitsu Yamada |
Relaxation optimizing processes in extended probabilistic space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 266-269, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
relaxation optimizing processes, extended probabilistic space, probability theoretic model, relaxation matching method, Dempster-Shafer, pattern recognition, image processing, probability, image recognition, iterative methods, incompleteness |
14 | Yoram Hirshfeld, Mark Jerrum, Faron Moller |
A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 623-631, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
normed context-free processes, language equivalence, polynomial-time algorithm, decidability, equivalence, context-free grammars, bisimilarity |
14 | Jacques Resing |
Polling systems and multitype branching processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 13(4), pp. 409-426, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
ergodicity conditions, immigration, Polling systems, branching processes, queue length distribution |
14 | Jean Fanchon |
Dynamic Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 859-874, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
dynamic placement, graphs, operational semantics, communicating processes, true concurrency |
14 | Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano |
A Protocol for Multirendezvous of LOTOS Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 437-447, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LOTOS processes, multiway rendezvous mechanism, International Standards Organization, LOTOS specification language, global knowledge, distributed execution model, hierarchical topology, performance evaluation, performance, formal specification, formal specification, protocol, protocols, standards, distributed environment, distributed agreement |
14 | L. J. Chmura, Anthony F. Norcio, T. J. Wicinski |
Evaluating Software Design Processes by Analyzing Change Data Over Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(7), pp. 729-740, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
software design processes evaluation, early design and code change data, software cost reduction, error-correction effort, stepwise growth, module interface updates, software engineering |
14 | Peiwei Mi, Walt Scacchi |
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(3), pp. 283-294, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
knowledge-based environment, simulating software engineering processes, prototype computational environment, knowledge metamodel, software process behavior simulator, knowledge base querying mechanism, modeling, modelling, software engineering, design, knowledge based systems, programming environments, dynamics, statics, articulator, representation schemes |
14 | David Lorge Parnas |
On simulating networks of parallel processes in which simultaneous events may occur. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(9), pp. 519-531, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
simultaneous events, simulation, parallel processes, picture processing, computer system simulation |
14 | Thomas N. Hibbard |
Theory of programmed processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(4), pp. 195, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
computer system analysis, programmed processes, sort techniques, automata theory, search techniques |
14 | Rémy Blanc, Jean-Pierre Da Costa, Youssef Stitou, Pierre Baylou, Christian Germain |
Assessment of Texture Stationarity Using the Asymptotic Behavior of the Empirical Mean and Variance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 17(9), pp. 1481-1490, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Isaac K. Cheng, Neil H. Boyette, Joel Bethea, Vikas Krishna |
A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings, pp. 474-484, 2007, Springer, 978-3-540-74973-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
call flow, leverage, rich client, worldwide, internet, XML, UML, SOA, architecture, workflow, integrate, Web, management, IT, logic, reasoning, BPEL, customer, rule, inference, outsource, infrastructure, support, CRM, script, global, enterprise, call center, offshore, thin client, EMF, asset, business transformation, labor |
14 | Siamak Nazari, John G. Thistle |
Structural Conditions for Model-checking of Parameterized Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, pp. 187-196, 2007, IEEE Computer Society, 978-0-7695-2902-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Remco M. Dijkman |
A Classification of Differences between Similar BusinessProcesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, pp. 37-50, 2007, IEEE Computer Society, 0-7695-2891-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jens Lemcke, Andreas Friesen |
Composing Web-service-like Abstract State Machines (ASMs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCW ![In: 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 262-269, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Stefanie Rinderle, Andreas Wombacher, Manfred Reichert |
Evolution of Process Choreographies in DYCHOR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 273-290, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers |
Model checking for E-business control and assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 35(3), pp. 445-450, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Kevin K. Leung, Du Zhang |
Animation of Linux Processor Scheduling Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Seventh IEEE International Symposium on Multimedia (ISM 2005), 12-14 December 2005, Irvine, CA, USA, pp. 353-360, 2005, IEEE Computer Society, 0-7695-2489-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Linux processor scheduling, animation of scheduling algorithm, /proc pseudo file system |
14 | Qiming Chen, Meichun Hsu, Vinkesh Mehta |
How public conversation management integrated with local business process management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 2(1), pp. 111-126, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michel Paquette, Andrzej Pelc |
Optimal Decision Strategies in Byzantine Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity, 11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slovakia, June 21-23, 2004, Proceedings, pp. 245-254, 2004, Springer, 3-540-22230-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Qiming Chen, Meichun Hsu, Vinkesh Mehta |
How Public Conversation Management Integrated with Local Business Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 24-27 June 2003, Newport Beach, CA, USA, pp. 199-206, 2003, IEEE Computer Society, 0-7695-1969-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | John K. Debenham |
Who Does What in a Multiagent System for Emergent Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 35-40, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiagent systems, Process management |
14 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 194-206, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | John K. Debenham |
Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, pp. 142-152, 2001, Springer, 3-540-42960-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel |
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(9), pp. 897-909, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
global data, global function computation, perfect failure detector, process crash, problem reduction, Asynchronous distributed computation |
14 | Mikel Larrea, Antonio Fernández 0001, Sergio Arévalo |
Optimal implementation of the weakest failure detector for solving consensus (brief announcement). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 334, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel |
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 584-591, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Eric Ruppert |
Consensus Numbers of Transactional Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, pp. 312-326, 1999, Springer, 3-540-66531-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Iwao Shimojo, Takayuki Tachikawa, Makoto Takizawa 0001 |
M-ary Commitment Protocol with Partially Ordered Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 397-408, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | H. Rebecca Callison |
A Time-Sensitive Object Model for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(3), pp. 287-317, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models |
14 | Xiao-ping Ling, Hideharu Amano |
A static scheduling system for a parallel machine (SM)2-II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 118-135, 1989, Springer, 3-540-51284-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | John H. Reif, Paul G. Spirakis |
Unbounded Speed Variability in Distributed Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 46-56, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
13 | Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
Declarative workflows to efficiently manage flexible and advanced business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 209-218, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
declarative workflow, executable specification language, temporal logic, business process management |
13 | Bernd Heinrich, Matthias Henneberger, Susanne Leist, Gregor Zellner |
The process map as an instrument to standardize processes: design and application at a financial service provider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 7(1), pp. 81-102, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Financial service provider, Business process management, Process map |
13 | Nirmit Desai, Amit K. Chopra, Munindar P. Singh |
Amoeba: A methodology for modeling and evolving cross-organizational business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 19(2), pp. 6:1-6:45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Business process modeling, business protocols, requirements evolution |
13 | Jian Yu, Quan Z. Sheng, Paolo Falcarin, Maurizio Morisio |
Weaving Business Processes and Rules: A Petri Net Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 121-126, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Petri nets, Business process modelling, business rules, aspect-orientation |
13 | Reginaldo Mendes, Paulo F. Pires, Flávia Coimbra Delicato, Thaís Vasconcelos Batista |
WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 692-693, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantic web, workflow, web service composition |
13 | Jan-Helge Deutscher, Carsten Felden |
Model Concept to Determine the Optimal Maturity of IT Service Management Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 543-548, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Qiming Chen, Meichun Hsu |
Cooperating SQL Dataflow Processes for In-DB Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 389-397, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Katherine James, Anil Wipat, Jennifer Hallinan |
Integration of Full-Coverage Probabilistic Functional Networks with Relevance to Specific Biological Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings, pp. 31-46, 2009, Springer, 978-3-642-02878-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
clustering, relevance, network analysis, Integrated networks |
13 | Carlo Giovannella, Andrea Camusi |
Challenging Technologies: The Virtual Show and Tell in Design Inspired Learning Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009, Riga, Latvia, July 15-17, 2009, pp. 203-207, 2009, IEEE Computer Society, 978-0-7695-3711-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu |
Using security metrics coupled with predictive modeling and simulation to assess security processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA, pp. 564-573, 2009, IEEE Computer Society, 978-1-4244-4842-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Anthony Widjaja To |
Model Checking FO(R) over One-Counter Processes and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 485-499, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Biplav Srivastava, Debdoot Mukherjee |
Organizing Documented Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 25-32, 2009, IEEE Computer Society, 978-0-7695-3811-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Peter Killisperger, Markus Stumptner, Georg Peters, Georg Grossmann, Thomas Stückl |
Meta Model Based Architecture for Software Process Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 63-74, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Zhihua Xiong, Yixin Xu, Jie Zhang 0005, Jin Dong |
Batch-to-batch control of fed-batch processes using control-affine feedforward neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 17(4), pp. 425-432, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Control affine system, Fed-batch process, Neural network, Iterative learning control |
13 | Lynda Hardman, Zeljko Obrenovic, Frank Nack, Brigitte Kerhervé, Kurt W. Piersol |
Canonical processes of semantically annotated media production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 14(6), pp. 327-340, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Manfred Theißen, Ri Hai, Jan Morbach, Ralph Schneider, Wolfgang Marquardt |
Scenario-Based Analysis of Industrial Work Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Results of the IMPROVE Project ![In: Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support - Results of the IMPROVE Project, pp. 433-450, 2008, Springer, 978-3-540-70551-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | George Zheng, Athman Bouguettaya |
Discovering Pathways of Service Oriented Biological Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings, pp. 189-205, 2008, Springer, 978-3-540-85480-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Yingxu Wang |
The cognitive processes of analysis and synthesis in formal inferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008, pp. 223-231, 2008, IEEE Computer Society, 978-1-4244-2538-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Christian Bartsch 0002, Larisa Shwartz, Christopher Ward, Genady Grabarnik, Melissa J. Buco |
Decomposition of IT service processes and alternative service identification using ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 714-717, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Bart Orriëns, Willem-Jan van den Heuvel, Mike P. Papazoglou |
On the Risk Management and Auditing of SOA Based Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 124-138, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jin Guo 0002, Ying Zou 0001 |
A Business Process Explorer: Recovering Business Processes from Business Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008, pp. 333-334, 2008, IEEE Computer Society, 978-0-7695-3429-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Michael Dymkov, Eric Rogers, Siarhei Michailovich Dymkou, Krzysztof Galkowski |
Constrained optimal control theory for differential linear repetitive processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 263-268, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Josephine Nabukenya, Patrick van Bommel, Henderik Alex Proper |
Repeatable Collaboration Processes for Mature Organizational Policy Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers, pp. 217-232, 2008, Springer, 978-3-540-92830-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Richard G. Epstein |
Getting Students to Think About How Agile Processes can be Made More Secure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: Proceedings 21st Conference on Software Engineering Education and Training, CSEET 2008, 14-17 April 2008, Charleston, South Carolina, USA, pp. 51-58, 2008, IEEE Computer Society, 978-0-7695-3144-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Frosch-Wilke, Salvador Sánchez-Alonso, Juan Manuel Dodero |
Evolutionary Design of Collaborative Learning Processes through Reflective Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 423-427, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Reza Meimandi Parizi, Abdul Azim Abdul Ghani |
An Ensemble of Complexity Metrics for BPEL Web Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 753-758, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kazunori Iwata 0001 |
An Information-Theoretic Class of Stochastic Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008, pp. 340-344, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Diego Zuquim Guimarães Garcia, Maria Beatriz Felgar de Toledo |
Ontology-Based Security Policies for Supporting the Management of Web Service Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), August 4-7, 2008, Santa Clara, California, USA, pp. 331-338, 2008, IEEE Computer Society, 978-0-7695-3279-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, Web service, business process |
13 | Hamed Yaghoubi Shahir, Shervin Daneshpajouh, Raman Ramsin |
Improvement Strategies for Agile Processes: A SWOT Analysis Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 221-228, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Olivera Marjanovic, Ravi Seethamraju |
Understanding Knowledge-Intensive, Practice-Oriented Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 373, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Shen Zhang, Yongji Wang 0002, Ye Yang, Junchao Xiao |
Capability Assessment of Individual Software Development Processes Using Software Repositories and DEA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Making Globally Distributed Software Development a Success Story, International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008, Proceedings, pp. 147-159, 2008, Springer, 978-3-540-79587-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
individual software development process (IDP), multi-input-multi-output (MIMO), data envelopment analysis (DEA), software repository |
13 | Alessio Gugliotta, Stefan Dietze, John Domingue |
A Situations & Goals Semantic Model for Designing and Implementing Semantic Web Services-based Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (2) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 581-582, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantic web services, semantic model, situation |
13 | Daniel J. Rice, Barry D. Davidson, John F. Dannenhoffer, Geri K. Gay |
Improving the Effectiveness of Virtual Teams by Adapting Team Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 16(6), pp. 567-594, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computer-mediated, geographically distributed, collaboration, communication, decision-making, consensus, distance, brainstorming, dispersed |
13 | Yingxu Wang |
Formal Descriptions of a Set of Meta Cognitive Processes of the Brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA, pp. 26-34, 2007, IEEE Computer Society, 1-4244-1327-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Klaus Peter Fischer, Udo Bleimann, Woldemar F. Fuhrmann, Steven Furnell |
Security Policy Enforcement in BPEL-Defined Collaborative Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 685-694, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Xinxin Liu |
Expansive-Bisimulation for Context-Free Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 472-482, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Frank Puhlmann |
Soundness Verification of Business Processes Specified in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 6-23, 2007, Springer, 978-3-540-76846-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Martin Husemann, Michael Von Riegen, Norbert Ritter |
Transactional Coordination of Dynamic Processes in Service-Oriented Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1024-1031, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Jon M. Kleinberg |
Challenges in mining social network data: processes, privacy, and paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 4-5, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
privacy in data mining, data mining, social networks, anonymization, diffusion of innovations |
13 | Liming Zhu 0001, Leon J. Osterweil, Mark Staples, Udo Kannengiesser |
Challenges Observed in the Definition of Reference Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 95-107, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Gian Luca Petruzzi, Achille Claudio Garavelli |
The strategic value of the "fit" between business processes and IT management: The case of the Italian publishing industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDIM ![In: Proceedings of BDIM 2007, 2nd IEEE/IFIP International Workshop on Business-Driven IT Management, May 21, 2007, Munich, Germany, pp. 110-111, 2007, IEEE, 1-4244-1295-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Barry Kingsbury |
Organizing processes and threads for debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007, pp. 21-26, 2007, ACM, 978-1-59593-748-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ernesto Damiani, Paolo Ceravolo, Cristiano Fugazza, Karl Reed |
Representing and Validating Digital Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (Selected Papers) ![In: Web Information Systems and Technologies, Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers, pp. 19-32, 2007, Springer, 978-3-540-68257-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian V. Fallert, Sergei N. Taraskin |
Stochastic Spreading Processes on a Network Model Based on Regular Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOWIRE ![In: Bio-Inspired Computing and Communication, First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, Cambridge, UK, April 2-5, 2007, Revised Selected Papers, pp. 133-144, 2007, Springer, 978-3-540-92190-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Network Epidemics, SIS Model, Contact Process, Critical Exponents |
13 | Nirmit Desai, Amit K. Chopra, Matthew Arrott, Bill Specht, Munindar P. Singh |
Engineering Foreign Exchange Processes via Commitment Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 514-521, 2007, IEEE Computer Society, 0-7695-2925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Yong Chen, Jionghua Jin 0001 |
Quality-oriented-maintenance for multiple interactive tooling components in discrete manufacturing processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(1), pp. 123-134, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Walter Binder, Ion Constantinescu, Boi Faltings, Klaus Haller, Can Türker |
A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 12(2), pp. 219-237, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | George M. Gemelos, Tsachy Weissman |
On the Entropy Rate of Pattern Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(9), pp. 3994-4007, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Márcia C. Cera, Guilherme P. Pezzi, Elton N. Mathias, Nicolas Maillard, Philippe Olivier Alexandre Navaux |
Improving the Dynamic Creation of Processes in MPI-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 247-255, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ian G. Harris |
A coverage metric for the validation of interacting processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1019-1024, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Alex Norta, Marcel Hendrix, Paul W. P. J. Grefen |
A Pattern-Knowledge Base Supported Establishment of Inter-organizational Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 834-843, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Bendick Mahleko, Andreas Wombacher |
Indexing Business Processes based on Annotated Finite State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 303-311, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Amir H. Behzadan, Hiam M. Khoury, Vineet R. Kamat |
Structure of an extensible augmented reality framework for visualization of simulated construction processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 2055-2062, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Dianxun Shuai, Bin Zhang 0012, Cunpai Lu |
Self-Organizing Software Processes Based on Particle Dynamics Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 246-251, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle |
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 458-464, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Behavioral Compatibility, Tool based Verification, Web Service, Petri nets, Business Process Modeling, WS-BPEL |
13 | Terence Blackburn, Paul A. Swatman, Rudi Vernik |
Cognitive Dust: Linking CSCW Theories to Creative Design Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 153-158, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Adnene Guabtni, François Charoy, Claude Godart |
Using Isolation Spheres for Cooperative Processes Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 21-26, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Belinda M. Carter, Maria E. Orlowska |
On the Execution of Collaborative Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 4-8 September 2006, Krakow, Poland, pp. 288-292, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|