|
|
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 |
25 | Karthik Gomadam, Kunal Verma, Amit P. Sheth, Ke Li |
Keywords, Port Types and Semantics: A Journey in the Land of Web Service Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 89-105, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sinuhé Arroyo |
Basic Concepts In Choreography Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 138-159, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jorge Cardoso 0001 |
Programming The Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 351-380, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Daniela Barreiro Claro, Patrick Albers, Jin-Kao Hao |
Web Services Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 195-225, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Meenakshi Nagarajan |
Semantic Annotations in Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 35-61, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ralph Hodgson, Dean Allemang |
Semantic Technology For e-Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 283-303, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sanjay Chaudhary, Zakir Laliwala, Vikram Sorathia |
Building Semantic Business Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 323-350, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jorge Cardoso 0001 |
Developing An Owl Ontology For e-Tourism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 247-282, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Michal Zaremba, Mick Kerrigan, Adrian Mocan, Matthew Moran |
Web Services Modeling Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 63-87, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Monika Solanki, Antonio Cau, Hussein Zedan |
Temporal Reasoning Of Reactive Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 107-136, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jorge Cardoso 0001, Amit P. Sheth |
The Semantic Web and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Processes and Applications ![In: Semantic Web Services, Processes and Applications, pp. 3-33, 2006, Springer, 978-0-387-30239-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (eds.) |
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![Springer, 3-540-30911-X The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Paul Klint, Tijs van der Storm, Jurgen J. Vinju |
Term Rewriting Meets Aspect-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 88-105, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese |
A Mobility Calculus with Local and Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 404-444, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yoshihito Toyama |
Reduction Strategies for Left-Linear Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 198-223, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Richard Statman, Henk Barendregt |
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 40-54, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | John R. W. Glauert, Delia Kesner, Zurab Khasidashvili |
Expression Reduction Systems and Extensions: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 496-553, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Hans Zantema |
Reducing Right-Hand Sides for Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 173-197, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Pierre Jouannaud |
Higher-Order Rewriting: Framework, Confluence and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 224-250, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Robin Milner |
The Spectra of Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 1-5, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Detlef Plump |
Confluence of Graph Transformation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 280-308, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Albert Visser |
Löb's Logic Meets the µ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 14-25, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Nachum Dershowitz |
Primitive Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 127-147, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Timing the Untimed: Terminating Successfully While Being Conservative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 251-279, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget |
Sharing in the Weak Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 70-87, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Marc Bezem |
On the Undecidability of Coherent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 6-13, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Krzysztof R. Apt |
Explaining Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 55-69, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Paul-André Melliès |
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 554-638, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Rewriting: From Syntax to Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 148-172, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Zena M. Ariola, Stefan Blom |
Skew and omega-Skew Confluence and Abstract Böhm Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 368-403, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yuxin Deng, Catuscia Palamidessi, Jun Pang 0001 |
Compositional Reasoning for Probabilistic Finite-State Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 309-337, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ranko Lazic 0001, Thomas Christopher Newcomb, A. W. Roscoe 0001 |
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 275-291, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | David May 0001 |
CSP, occam and Transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 75-84, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Sadie Creese |
Industrial Strength CSP: Opportunities and Challenges in Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 292-292, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 264-264, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | A. W. Roscoe 0001 |
Seeing Beyond Divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 15-35, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 211-219, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael Goldsmith |
Operational Semantics for Fun and Profit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 265-274, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 151-174, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 133-150, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 243-263, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jan Peleska 0001 |
Applied Formal Methods - From CSP to Executable Hybrid Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 293-320, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 220-241, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Daniel E. Cooke |
An Introduction to the Issues of Computer Aided Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 1-12, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | S. Chen, W. T. Tsai, X. P. Chen |
Samea: Object-Oriented Software Maintenance Environment for assembly Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 137-181, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | John M. Baker |
Project Management utilizing an Advanced Case Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 255-267, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Raymond T. Yeh |
System Development as a Wicked Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 15-29, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Joseph E. Urban, Patrick O. Bobbie |
Software productivity: through undergraduate Software Engineering Education and Case Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 327-347, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Robert Chi Tau Lai |
A Process Modeling Approach and Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 271-299, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Luqi |
The Role of Prototyping Languages in Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 49-71, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Greg Boone |
Establishing the Context of continuous Improvement for Technology Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 215-253, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Jason T. L. Wang, Peter A. Ng |
Texpros: an Intelligent Document Processing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 103-135, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Wolfgang Deiters, Volker Gruhn, Herbert Weber |
Software Process Evolution in MELMAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 301-323, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | W. David Hurley |
Integrating User Interface Development and Modern Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 73-101, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Gail Corbitt, Ronald J. Norman, Mark C. Butler |
Assessing Proximity to Fruition: a Case Study of the phases in Case Technology Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 31-46, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Mike P. Papazoglou, Louis Marinos, Nikolaos G. Bourbakis |
The Organizational Impact of Integrating Multiple Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Impact of Case Technology on Software Processes ![In: The Impact of Case Technology on Software Processes, pp. 183-211, 1994, World Scientific, 978-981-02-1027-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Irène Guessarian (eds.) |
Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![Springer, 3-540-53479-2 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Irène Guessarian |
About Fixpoints for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 358-374, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Lutz Priese |
Approaching Fair Computations by Ultra Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 420-433, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Paul Gastin |
Infinite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 277-308, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Rob J. van Glabbeek, Ursula Goltz |
Equivalences and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 309-333, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Gérard Boudol, Ilaria Castellani |
Three Equivalent Semantics for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 96-141, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari |
Transition Systems with Algebraic Structure as Models of Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 185-222, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Darondeau, Pierpaolo Degano |
Causal Trees: Interleaving + Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 239-255, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
concurrency, bisimulation, causality, non-determinism |
25 | Rocco De Nicola, Frits W. Vaandrager |
Action versus State based Logics for Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 407-419, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Luc Bougé, Patrick Garda |
Towards a Semantic Approach to SIMD Architectures and their Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 142-175, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Brigitte Rozoy |
On Distributed Languages and Models for Distributed Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 434-456, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | J. W. de Bakker, J. H. A. Warmerdam |
Metric Pomset Semantics for a Concurrnt Language with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 21-49, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule |
25 | Gérard Duchamp, Daniel Krob |
Partially Commutative Formal Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 256-276, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Stefano Kasangian, Anna Labella, Alberto Pettorossi |
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 375-406, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Gérard Boudol |
Flow Event Structures and Flow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 62-95, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Darondeau |
Concurrency and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 223-238, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Storer, David J. Winter (eds.) |
Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![Springer, 3-540-07016-8 The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Chin-W. Kim |
Models of Speech Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 142-158, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | David Rothenberg |
Predicate Calculus Feature Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 72-125, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | David J. Winter |
A Simple Hierarchical Model of Natural Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 186-188, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Elizabeth Loftus |
Semantic Memory Retrieval: Some Data and a Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 41-54, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Arnold Lewis Glass |
Implication as an Alternative to Set-Inclusion as the Semantic Primitive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 55-69, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Armen Gabrielian, Seymour Ginsburg |
Structured-Storage AFA (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 70-71, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | David Rothenberg |
A Mathematical Model for Perception Applied to the Perception of Pitch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 126-141, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Storer |
Welcome Aboard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 1-3, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Renate Bartsch, Theo Vennemann |
The Grammar of relative Adjectives and Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 168-185, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Olshewsky |
On the Notion of a Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 189-203, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Royal Skousen |
Empirical Restrictions on the Power of Transformation Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 204-214, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Terrence J. Keeney |
Towards a Theory of Linguistic Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Cognitive Processes ![In: Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972, pp. 159-167, 1972, Springer, 3-540-07016-8. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè |
LEMMA: a language for easy medical models analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 244-249, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
LEMMA language, medical model analysis, health care process optimization, high quality standards, patient treatment, diagnostic processes, therapeutic processes, informal notation, Petri nets, prototype, visual languages, graphical language, resource optimizations, health care systems, formal notation |
25 | Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson |
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1357-1367, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors |
24 | Jan-Christian Kuhr, Jan Pretzel, Dierk A. Vagts, Lachlan Aldred |
Integrating Humans, Devices, and Events in Clinical Workflow Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 408-415, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
context-aware healthcare processes, integrating healthcare processes with electronic medical records, Process modelling, workflow management |
24 | Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska |
Translating business contract into compliant business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 211-220, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Business Contracts, Internal Business Processes, Collaborative Business Processes |
24 | Alma Riska, Evgenia Smirni, Gianfranco Ciardo |
An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 31(2), pp. 28-30, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis |
24 | Pierre Laroche |
Building efficient partial plans using Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 156-163, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
efficient partial plan building, optimal action sequences, actuator uncertainties, goal state, uncertainty, planning, mobile robots, mobile robot, Markov processes, directed graphs, directed graph, path planning, Markov decision processes, decision theory, state space, uncertainty handling |
24 | William Henderson, Peter G. Taylor |
Embedded Processes in Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 108-116, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
embedded discrete time processes, closed-form equilibrium distribution, probabilistic output bags, colored tokens, arbitrarily distributing enabling, firing times, aggregation procedure, performance evaluation, Petri nets, stochastic processes, stochastic Petri nets |
23 | Lilia Muñoz, Jose-Norberto Mazón, Juan Trujillo 0001 |
Automatic generation of ETL processes from conceptual models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2009, ACM 12th International Workshop on Data Warehousing and OLAP, Hong Kong, China, November 6, 2009, Proceedings, pp. 33-40, 2009, ACM, 978-1-60558-801-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
etl processes, mda, qvt, data warehouses |
23 | Diana Elena Comes, Steffen Bleul, Thomas Weise 0001, Kurt Geihs |
A Flexible Approach for Business Processes Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings, pp. 116-128, 2009, 978-3-642-02163-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QoS Aggregation, Quality of Service, Web Services, Monitoring, Business Processes, BPEL |
23 | Amy M. Witherspoon, Roger Azevedo, Sidney K. D'Mello |
The Dynamics of Self-regulatory Processes within Self-and Externally Regulated Learning Episodes During Complex Science Learning with Hypermedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 260-269, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
externally-regulated learning, human tutoring, complex science learning, adaptivity, cognition, metacognition, self-regulated learning, dynamic processes |
23 | Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin |
Aggregated bounding Markov processes applied to the analysis of tandem queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 43, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
loss probability bounds, tandem queueing networks, Markov processes, stochastic comparisons |
23 | Todor Stoitsev, Stefan Scheidl, Michael Spahn |
A Framework for Light-Weight Composition and Management of Ad-Hoc Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings, pp. 213-226, 2007, Springer, 978-3-540-77221-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
agile business processes, human computer interaction, computer supported cooperative work, knowledge management, Task management, ad-hoc workflow |
23 | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
denotational models, communicating sequential processes, nondeterminacy |
23 | Klaus Haller, Heiko Schuldt, Can Türker |
Decentralized coordination of transactional processes in peer-to-peer environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 28-35, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
DSGT, global correctness, partial rollback, transactional processes, peer-to-peer communication, decentralized coordination |
23 | Alexis J. Battle, Eran Segal, Daphne Koller |
Probabilistic discovery of overlapping cellular processes and their regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 167-176, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cellular processes, gene regulation, probabilistic relational models |
Displaying result #201 - #300 of 57265 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|