|
|
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 |
15 | Howard Wong-Toi, David L. Dill |
Synthesizing Processes and Schedulers from Temporal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 272-281, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Paul C. Attie, E. Allen Emerson |
Synthesis of Concurrent Systems with Many Similar Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 191-201, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Janice M. Stone |
A Graphical Representation of Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, University of Wisconsin, Madison, Wisconsin, USA, May 5-6, 1988, pp. 226-235, 1988, ACM, 0-89791-296-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Vaughan R. Pratt |
On the Composition of Processes. ![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. 213-223, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise |
A Pattern for Modeling Rework in Software Development Processes. ![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. 305-316, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Chris J. Martin 0002, Mohammed H. Haji, Peter M. Dew, Mike Pilling, Peter K. Jimack |
Semantically-Enhanced Model-Experiment-Evaluation Processes (SeMEEPs) within the Atmospheric Chemistry Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data and Processes, Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers, pp. 293-308, 2008, Springer, 978-3-540-89964-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Atmospheric Chemistry, Provenance, Semantic Metadata, Model Development |
14 | Daniela E. Damian, James Chisan |
An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(7), pp. 433-453, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
process interactions, Requirements engineering, process improvement, empirical investigation |
14 | Rajalakshmi Bhavanishankar, Chandrasekaran Subramaniam, Magesh Kumar, Dipesh Dugar |
A context aware approach to emergency management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 1350-1354, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
attribute driven design, context awareness, workflow, emergency management, service processes |
14 | Yingxu Wang 0001 |
On Mathematical Laws of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 46-83, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
denotational mathematics, generic model of software, laws of meta-processes, laws of process relations, laws of process compositions, modeling, software engineering, programs, analysis, software, process models, mathematical models, computational intelligence, Software science, RTPA, algebraic laws |
14 | Giuliano Casale, Ningfang Mi, Evgenia Smirni |
Bound analysis of closed queueing networks with workload burstiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2008, Annapolis, MD, USA, June 2-6, 2008, pp. 13-24, 2008, ACM, 978-1-60558-005-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
closed systems, nonrenewal service, queueing networks, markovian arrival processes, burstiness, temporal dependence, bound analysis |
14 | Yuka Kato |
A Construction Process for Small-Scale Network Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Challenges for Next Generation Network Operations and Service Management, 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings, pp. 543-546, 2008, Springer, 978-3-540-88622-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
small-scale networks, network design, software development processes, process management, Network systems |
14 | Javier Fabra, Joaquín Peña, Antonio Ruiz Cortés, Joaquin Ezpeleta |
Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 198-204, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web processes, UML, SOA, Petri nets, MDD, Orchestration, Choreography, SOC |
14 | Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen |
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(1), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lossy channels, probabilistic models, Communication protocols, Markov decision processes |
14 | Brice Mitchell, Lars Michael Kristensen, Lin Zhang |
Formal specification and state space analysis of an operational planning process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(3-4), pp. 255-267, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Design and analysis of business processes, Business process modelling, Coloured petri nets |
14 | Martin Luther Modjo Kamneng, Volker Brandt, Thilo Steckel, Willi Nüßer |
Prozessintegration mobiler Landmaschinen mittels automatisch erzeugter BPEL-Prozesse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 49(4), pp. 289-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Farm Machines, Generation of BPEL Processes, Web Services, Process Integration |
14 | Hind Castel, Lynda Mokdad, Nihal Pekergin |
Stochastic Bounds Applied to the End to End QoS in Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007), October 24-26, 2007, Istanbul, Turkey, pp. 374-380, 2007, IEEE Computer Society, 978-1-4244-1854-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Tandem queueing networks, performance measures bounds, Markov processes, Stochastic comparisons |
14 | Esteban Arcaute, Adam Kirsch, Ravi Kumar 0001, David Liben-Nowell, Sergei Vassilvitskii |
On threshold behavior in query incentive networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), San Diego, California, USA, June 11-15, 2007, pp. 66-74, 2007, ACM, 978-1-59593-653-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
query incentive networks, threshold phenomena, branching processes |
14 | H. C. M. Kleijn, Maciej Koutny |
Infinite Process Semantics of Inhibitor Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 282-301, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences |
14 | Panagiota Fatourou, Faith Ellen Fich, Eric Ruppert |
Time-space tradeoffs for implementations of snapshots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21-23, 2006, pp. 169-178, 2006, ACM, 1-59593-134-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
anonymous processes, distributed computing, lower bound, shared memory, wait-free, snapshot, time-space tradeoff |
14 | Thomas Neubauer, Markus D. Klemen, Stefan Biffl |
Business process-based valuation of IT-security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
valuation of secure business processes, value-based security, business process management |
14 | Beate List, Karl Machaczek |
Towards a Corporate Performance Measurement System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1344-1350, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
business processes, data warehouse, performance measurement, workflow management systems |
14 | Berthold Vöcking |
How asymmetry helps load balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(4), pp. 568-589, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
balls and bins processes, Randomized algorithms, probabilistic analysis |
14 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A Probabilistic Extension of UML Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 355-374, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model checking, semantics, probabilities, Markov decision processes, UML statecharts |
14 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Verifying Implementation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 364-383, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Behaviour ion, verification, compositionality, communicating sequential processes |
14 | Hiromi Hiraishi |
Verification of deadlock free property of high level robot control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 198-203, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties |
14 | Silvana Castano, Valeria De Antonellis, Maria Grazia Fugini, Fabrizio Maio |
An Experience of Engineering Enterprise Data and Process Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 789-796, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
enterprise data engineering, process knowledge engineering, integrated citizen services, distributed data sources, semantic dictionary, distributed cooperating processes, inter-organizational workflows, interoperability, reengineering, public administration, public administration, distributed information systems |
14 | Stanley Y. W. Su, Youzhong Liu, Jie Meng, Minsoo Lee, Herman Lam |
Distributed and Concurrent Processing of Business Object Documents in Support of e-Enterprise Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 107-, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
business object documents, e-enterprise integration, business enterprises, joint business, virtual e-enterprise, concurrent business processes, messaging approach, distributed object approach, business operations, application systems, BOD transmissions, extended information infrastructure, distributed concurrent process enactment, Internet, CORBA, process models, business process modelling, system integration, business data processing, Java RMI, concurrent processing, network structures, communication infrastructures, communication infrastructure, message transmission, distributed object technologies, legacy applications |
14 | Carl K. Chang, Yi-Te Tseng, Ugo A. Buy |
Compiling process algebraic specifications into timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 338-343, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems |
14 | Barbara Dellen, Frank Maurer |
Integrating planning and execution in software development processe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 170-176, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
planning, software development processes, software development management, project plan, process enactment |
14 | Hiroaki Kigaki, Makoto Takizawa 0001 |
Group communication approach for flexible distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 154-160, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
flexible distributed systems, updating application software, multiple processes, protocol errors, distributed systems, parallel programming, protocol, groupware, distributed processing, checkpointing, rollback recovery, timeout, message transmission, process group |
14 | Beata M. Lobert, Brenda Massetti, Robert J. Mockler, Dorothy G. Dologite |
Towards a managerial model of creativity in information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 556-565, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
managerial model, organizational creativity, organizational inputs, creative outputs, organizational outcomes, IS organization, organizational effectiveness, information systems, information systems, business data processing, strategic planning, business value, creative processes, strategic management |
14 | Nick G. Duffield |
Exponential bounds for queues with Markovian arrivals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 17(3-4), pp. 413-430, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
risk theory, Queueing theory, large deviations, effective bandwidths, martingales, Markov Additive Processes, ATM multiplexers |
14 | Muhammad El-Taha, Shaler Stidham Jr. |
A filtered ASTA property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 11(3), pp. 211-222, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
ASTA, queueing systems, point processes, martingales, PASTA |
14 | Richard Gerber 0001, Insup Lee 0001 |
A Layered Approach to Automating the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 768-784, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach |
14 | Terry Shepard, J. A. Martin Gagné |
A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(7), pp. 669-677, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
pre-run-time scheduling algorithm, process sequencing, multiprocessor applications, preemptable processes, arbitrary precedence, exclusion constraints, branch-and-bound implicit enumeration technique, F-18 mission computer operational flight program, scheduling, real-time systems, multiprocessing systems, deadlines, computation times, hard real-time systems, aerospace computing, release times, feasible schedule, timing specifications |
14 | David H. Pitt, David Freestone |
The Derivation of Conformance Tests from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1337-1343, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes |
14 | Antoni W. Mazurkiewicz |
Semantics of concurrent systems: a modular fixed-point trace approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 353-375, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition |
14 | Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong Linh Truong 0001 |
Principles of Elastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 15(5), pp. 66-71, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
elastic processes, Internet workflows, cloud computing |
14 | Ghazi Ben Ayed, Solange Ghernaouti-Helie |
Digital Identity Management within Networked Information Systems: From Vertical Silos View into Horizontal User-Supremacy Processes Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: The 14th International Conference on Network-Based Information Systems, NBiS 2011, Tirana, Albania, September 7-9, 2011, pp. 98-103, 2011, IEEE Computer Society, 978-1-4577-0789-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Digital identity management taxonomy, user-supremacy, horizontal processes management, service orientation |
14 | Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001 |
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 203-212, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking |
14 | Milan Milanovic, Dragan Gasevic, Luis Rocha |
Modeling Flexible Business Processes with Business Rule Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, Helsinki, Finland, August 29 - September 2, 2011, pp. 65-74, 2011, IEEE Computer Society, 978-1-4577-0362-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
business processes, flexibility, business rules |
14 | Roman Vaculín, Richard Hull 0001, Terry Heath, Craig Cochran, Anil Nigam, Piyawadee Sukaviriya |
Declarative business artifact centric modeling of decision and knowledge intensive business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, Helsinki, Finland, August 29 - September 2, 2011, pp. 151-160, 2011, IEEE Computer Society, 978-1-4577-0362-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
decision intensive business processes, business entities with lifecycles, Guard-Stage-Milestone model, process design patterns, GSM, business artifacts |
14 | Fáber D. Giraldo, Mireille Blay-Fornarino, Sébastien Mosser 0001 |
Introducing Security Access Control Policies into Legacy Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011, Helsinki, Finland, August 29 - September 2, 2011, pp. 42-49, 2011, IEEE Computer Society, 978-1-4577-0869-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Security Standards, Service�??oriented Architecture, Business Processes, Separation of Concerns |
14 | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu |
A Context-Aware Framework for Business Processes Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011, Helsinki, Finland, August 29 - September 2, 2011, pp. 146-154, 2011, IEEE Computer Society, 978-1-4577-0869-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Context-awareness, Evolution, Business Processes |
14 | Virgilio Gilart-Iglesias, Francisco Maciá Pérez, Diego Marcos-Jorquera, Francisco José Mora-Jimeno, Juan Antonio Gil-Martínez-Abarca |
Integration of Business and Manufacturing Processes through Industrial Machinery as a Service Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011, pp. 751-752, 2011, IEEE Computer Society, 978-1-4577-0863-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
BMP, SOA, Manufacturing Processes |
14 | Daniela Grigori, Juan Carlos Corrales, Mokrane Bouzeghoub, Ahmed Gater |
Ranking BPEL Processes for Service Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 3(3), pp. 178-192, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavioral matching, BPEL processes ranking, Web services, services retrieval |
14 | Karin Weigelt, Mike Hambsch, Gabor Karacs, Tino Zillger, Arved C. Hübler |
Labeling the World: Tagging Mass Products with Printing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pervasive Comput. ![In: IEEE Pervasive Comput. 9(2), pp. 59-63, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
memory control and access, design styles, printed electronics, printing processes, ubiquitous computing, logic design, hardware, hardware, computer systems organization, memory structures, special-purpose and application-based systems, ROM, semiconductor memories |
14 | Gerhard Friedrich, Mariagrazia Fugini, Enrico Mussi, Barbara Pernici, Gaston Tagni |
Exception Handling for Repair in Service-Based Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 36(2), pp. 198-215, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
self-healing processes, Web services, Exception handling, failures, faults, process management, repair |
14 | Gianluigi Pillonetto, Francesco Dinuzzo, Giuseppe De Nicolao |
Bayesian Online Multitask Learning of Gaussian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 32(2), pp. 193-205, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multitask learning, mixed effects model, pharmacokinetic data, Collaborative filtering, Kalman filtering, regularization, kernel methods, Gaussian processes |
14 | Juha Puustjärvi, Leena Puustjärvi |
Reserving Clinical Resources for Healthcare Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: The Fourth International Conference on Digital Society, ICDS 2010, 10.16 February 2010, St. Maarten, Netherlands Antilles, pp. 92-97, 2010, IEEE Computer Society, 978-0-7695-3953-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
healthcare processes, coordination frameworks, transactions, business process modeling |
14 | Luca Masud, Francesca Valsecchi, Paolo Ciuccarelli, Donato Ricci, Giorgio Caviglia |
From Data to Knowledge - Visualizations as Transformation Processes within the Data-Information-Knowledge Continuum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 14th International Conference on Information Visualisation, IV 2010, 26-29 July 2010, London, UK, pp. 445-449, 2010, IEEE Computer Society, 978-0-7695-4165-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
DIK, Knowledge continuum, Design, Information Visualization, transformations, processes, Knowledge, Information, Data |
14 | Vinod K. Dubey, Daniel A. Menascé |
Utility-Based Optimal Service Selection for Business Processes in Service Oriented Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 542-550, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
QoS, optimization, service-oriented architectures, Business processes, utility function |
14 | Pierre Châtel, Jacques Malenfant, Isis Truck |
QoS-based Late-Binding of Service Invocations in Adaptive Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 227-234, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
non-functional constraint, qualitative approach, linguistic approach, SOA, fuzzy Logic, service composition, multi-criteria decision making, preference modeling, adaptive processes, late binding |
14 | Zakwan Jaroucheh, Xiaodong Liu 0002, Sally Smith |
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 219-226, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
adaptive service-based processes, Context-awareness, MDD, BPEL |
14 | Bas Steen, Luís Ferreira Pires, Maria-Eugenia Iacob |
Automatic Generation of Optimal Business Processes from Business Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2010, Vitória, Brazil, 25-29 October 2010, pp. 117-126, 2010, IEEE Computer Society, 978-0-7695-4164-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UML, MDA, business processes, Model transformation, business rules, MDE, BPMN, SBVR |
14 | Eric Renshaw, Carlos Comas |
Space-time generation of high intensity patterns using growth-interaction processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(4), pp. 423-437, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Granular materials, Growth-interaction processes, Random packings, Simulation, Pattern formation |
14 | |
Study on the Optimal Internal Processes Designing of Vegetable Distribution Center Based on Tracing Information Collection of Material Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 271-274, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
processing and sorting, tracing information collection, storage, order, processes design |
14 | Witold Abramowicz, Konstanty Haniewicz, Monika Kaczmarek, Dominik Zyskowski |
Semantic Modelling of Collaborative Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eKNOW ![In: International Conference on Information, Process, and Knowledge Management, eKNOW 2009, Cancun, Mexico, February 1-7, 2009, pp. 116-122, 2009, IEEE Computer Society, 978-0-7695-3531-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
web services, collaboration, SOA, business processes, BPM, choreography |
14 | Juan F. Pérez, Benny Van Houdt |
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 123-132, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Structured Markov Chains, Quasi-Birth-and-Death processes |
14 | Husain Aljazzar, Stefan Leue |
Generation of Counterexamples for Model Checking of Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 197-206, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic Model Checking, $k$-Shortest-Paths Search, K$^*$, Markov Decision Processes, Counterexamples, Directed Search |
14 | Juan Pablo Carvallo 0001, Xavier Franch |
On the Use of Requirements for Driving Call-for-Tender Processes for Procuring Coarse-grained OTS Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 287-292, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OTS componentes, call-for-tender processes, requirements engineering |
14 | Michael Decker |
An UML profile for the modelling of mobile business processes and workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 5th International Conference on Mobile Multimedia Communications, MobiMedia 2009, London, UK, September 7-9, 2009, 2009, ICST, 978-963-9799-62-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams |
14 | Ingrid Rügge, Carmen Ruthenbeck, Jakub Piotrowski, Christian Meinecke, Felix Böse |
Supporting mobile work processes in logistics with wearable computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 11th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2009, Bonn, Germany, September 15-18, 2009, 2009, ACM, 978-1-60558-281-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile work processes, wearable computing, user-centred design, logistics, mobile usability, autonomous control |
14 | Wei Song 0003, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu 0001 |
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 92-97, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Modeling and Verification, BPEL Processes, Time Petri Nets, Timed Properties |
14 | Robert Charles Lange, Spiros Mancoridis |
thr2csp: Toward Transforming Threads into Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009, pp. 3-12, 2009, IEEE Computer Society, 978-0-7695-3793-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrency, reverse engineering, communicating sequential processes |
14 | Scott Proper, Prasad Tadepalli |
Solving multiagent assignment Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 681-688, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
coordination graphs, reinforcement learning, Markov decision processes, assignment problem |
14 | Stefan J. Witwicki, Edmund H. Durfee |
Flexible approximation of structured interactions in decentralized Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1251-1252, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
decentralized markov decision processes, event-driven interactions, multiagent systems, commitments |
14 | Damiano Carra, Renato Lo Cigno, Ernst W. Biersack |
Stochastic Graph Processes for Performance Evaluation of Content Delivery Applications in Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(2), pp. 247-261, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Stochastic processes, Modeling techniques, Performance attributes |
14 | Michael A. Osborne, Stephen J. Roberts, Alex Rogers, Sarvapali D. Ramchurn, Nicholas R. Jennings |
Towards Real-Time Information Processing of Sensor Network Data Using Computationally Efficient Multi-output Gaussian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008, pp. 109-120, 2008, IEEE Computer Society, 978-0-7695-3157-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sensor network, Gaussian processes, information processing |
14 | Yang Song 0008, Lu Zhang 0007, C. Lee Giles |
A sparse gaussian processes classification framework for fast tag suggestions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 93-102, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
gaussian processes, prototype selection, tagging system, multi-label classification |
14 | Lorenzo Capra |
Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 256-264, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
petri nets, evolution, reflection, processes |
14 | Ildefonso Montero, Joaquín Peña, Antonio Ruiz Cortés |
From Feature Models to Business 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. 605-608, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Transformation, Business Processes, Software Product Lines, Feature Models |
14 | Øivind Skare, Jesper Møller, Eva Bjørn Vedel Jensen |
Bayesian analysis of spatial point processes in the neighbourhood of Voronoi networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 17(4), pp. 369-379, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Delaunay tessellation, Inhomogeneous point processes, Bayesian inference, Markov chain Monte Carlo, Voronoi tessellation, Poisson process |
14 | Stela Sotirova, Lyubomir Sotirov |
Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 53, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems |
14 | Stela Sotirova, Lyubomir Sotirov |
Computer-mathematical modeling of one class investment processes, based on optimal singular adaptive M3A1N computer observer: part 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 54, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Matlab-implementation, computer-mathematical modeling, financial-economic systems, initial state vector estimation, investment processes, optimal singular adaptive observation, identification, discrete systems |
14 | Paul Cotofrei, Kilian Stoffel |
Stochastic processes and temporal data mining. ![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. 183-190, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining |
14 | Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg |
Query-based monitoring of BPEL business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 1122-1124, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
monitoring, business processes, query language |
14 | Guttorm Sindre |
Mal-Activity Diagrams for Capturing Attacks on Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, pp. 355-366, 2007, Springer, 978-3-540-73030-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
business processes, security requirements, activity diagrams, social engineering, fraud |
14 | Shiann-Tsong Sheu, Yue-Ru Chuang |
A Pipeline-Based Genetic Algorithm Accelerator for Time-Critical Processes in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1435-1448, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms (GAs), time-critical processes, optimization, Evolutionary computing, pipeline |
14 | Jianfeng Li, Lifang Zhou |
Multi-rate Multivariable Model Predictive Control For Integrating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 752-758, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model predictive control, Multi-rate, integrating processes |
14 | Zoran Milosevic, Maria E. Orlowska, Shazia Wasim Sadiq |
Linking contracts, processes and services: an event-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 390-397, 2006, IEEE Computer Society, 0-7695-2670-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Business Contracts, Service Interaction, Collaborative Business Processes |
14 | Caroline Lacoste, Xavier Descombes, Josiane Zerubia |
Point Processes for Unsupervised Line Network Extraction in Remote Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(10), pp. 1568-1579, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
simulated annealing, remote sensing, Stochastic processes, Monte Carlo, edge and feature detection |
14 | Zhihua Xiong, Jie Zhang 0005 |
Optimal Control of Fed-Batch Processes Based on Multiple Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 22(2), pp. 149-161, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multiple neural networks, confidence bounds, optimal control, batch processes |
14 | Fred W. Glover |
Parametric Ghost Image Processes for Fixed-Charge Problems: A Study of Transportation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 11(4), pp. 307-336, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fixed-charge problems, ghost image processes, networks, tabu search, generalized networks |
14 | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
Automated synthesis of executable web service compositions from BPEL4WS processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1186-1187, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
business processes, web service composition, automated synthesis |
14 | Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Tappan Morris |
Labels and event processes in the Asbestos operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005, pp. 17-30, 2005, ACM, 1-59593-079-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
secure web servers, information flow, labels, mandatory access control, event processes |
14 | Aurélie Beynier, Abdel-Illah Mouaddib |
A polynomial algorithm for decentralized Markov decision processes with temporal constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 963-969, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multi-agent systems, uncertainty, planning, Markov decision processes |
14 | Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka |
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(1), pp. 38-66, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Tabled resolution, Model checking, Logic programming, calculus, Mobile processes |
14 | Nobuko Yoshida |
Channel dependent types for higher-order mobile processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 147-160, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
the higher-order ?-calculus, access control, types, secrecy, mobile processes |
14 | Philip J. Cowans |
Information retrieval using hierarchical dirichlet processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Sheffield, UK, July 25-29, 2004, pp. 564-565, 2004, ACM, 1-58113-881-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hierarchical dirichlet processes, probabilistic information retrieval |
14 | Jin Kjölberg |
Designing full body movement interaction using modern dance as a starting point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, Cambridge, MA, USA, August 1-4, 2004, pp. 353-356, 2004, ACM, 1-58113-787-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
full body movement interaction, modern dance, physical experience, art, learning processes |
14 | Gian-Luigi Ferrari 0002, Stefania Gnesi, Ugo Montanari, Marco Pistore |
A model-checking verification environment for mobile processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(4), pp. 440-473, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Name-passing process calculi, security, modal logics, transition systems, mobile processes |
14 | Norio Ishii, Kazuhisa Miwa |
Interactive processes between mental and external operations in creative activity: a comparison of experts' and novices' performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 4th Conference on Creativity & Cognition, Loughborough, United Kingdom, October 13-16, 2002, pp. 178-185, 2002, ACM, 1-58113-465-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
external operation, mental operation, expertise, cognitive processes, protocol analysis |
14 | Roman M. Wong, Siddhartha Bhattacharyya |
Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 90, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
knowledge intensive processes, task structure, audit risk assessment, software engineering, knowledge-based systems, knowledge acquisition, software reuse, Knowledge modeling |
14 | Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst |
Performance analysis of time-enhanced UML diagrams based on stochastic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 25-34, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes |
14 | Andrea De Lucia, Antonello Pannella, Eugenio Pompella, Silvio Stefanucci |
Assessing Massive Maintenance Processes: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 451-, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Massive software maintenance, software maintenance processes, Y2K, empirical study, effort estimation |
14 | Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins |
Third generation OO processes: a critique of RUP and OPEN from a project management perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 428-435, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
third generation object-oriented processes, object-oriented process environment and notation, full lifecycle description, project management, project management, object-oriented methods, software development management, OPEN, RUP, object-oriented software development, process support, rational unified process |
14 | David Espadas, Manuel Prieto 0001, Ignacio Martín Llorente, Francisco Tirado |
Solution of Alternating-Line Processes on Modern Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the International Conference on Parallel Processing 1999, ICPP 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 208-219, 1999, IEEE Computer Society, 0-7695-0350-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Parallel alternating-line processes, ADI, Mapping Transposition, SGI Origin 2000, MPI, CRAY T3E |
14 | Christopher K. I. Williams, David Barber |
Bayesian Classification With Gaussian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(12), pp. 1342-1351, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
hybrid Monte Carlo, Markov chain Monte Carlo, Gaussian processes, Bayesian classification, classification problems, parameter uncertainty |
14 | Marco Micocci |
The use of Markov discontinuous processes in the pricing of derivative securities: the application of APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of APL98 Conference on Array Processing Languages, APL 1998, Rome, Italy, August 27-31, 1998, pp. 228-232, 1998, ACM, 1-58113-181-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
APL applications in finance, discrete Markov processes, option pricing |
|
|