|
|
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. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sinuhé Arroyo |
Basic Concepts In Choreography Services. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jorge Cardoso 0001 |
Programming The Semantic Web. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Daniela Barreiro Claro, Patrick Albers, Jin-Kao Hao |
Web Services Composition. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Meenakshi Nagarajan |
Semantic Annotations in Web Services. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ralph Hodgson, Dean Allemang |
Semantic Technology For e-Government. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sanjay Chaudhary, Zakir Laliwala, Vikram Sorathia |
Building Semantic Business Services. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jorge Cardoso 0001 |
Developing An Owl Ontology For e-Tourism. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Michal Zaremba, Mick Kerrigan, Adrian Mocan, Matthew Moran |
Web Services Modeling Ontology. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Monika Solanki, Antonio Cau, Hussein Zedan |
Temporal Reasoning Of Reactive Web Services. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jorge Cardoso 0001, Amit P. Sheth |
The Semantic Web and Its Applications. |
Semantic Web Services, Processes and Applications |
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 |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Paul Klint, Tijs van der Storm, Jurgen J. Vinju |
Term Rewriting Meets Aspect-Oriented Programming. |
Processes, Terms and Cycles |
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. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yoshihito Toyama |
Reduction Strategies for Left-Linear Term Rewriting Systems. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Richard Statman, Henk Barendregt |
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | John R. W. Glauert, Delia Kesner, Zurab Khasidashvili |
Expression Reduction Systems and Extensions: An Overview. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Hans Zantema |
Reducing Right-Hand Sides for Termination. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Pierre Jouannaud |
Higher-Order Rewriting: Framework, Confluence and Termination. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Robin Milner |
The Spectra of Words. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Detlef Plump |
Confluence of Graph Transformation Revisited. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Albert Visser |
Löb's Logic Meets the µ-Calculus. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Nachum Dershowitz |
Primitive Rewriting. |
Processes, Terms and Cycles |
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. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget |
Sharing in the Weak Lambda-Calculus. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Marc Bezem |
On the Undecidability of Coherent Logic. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Krzysztof R. Apt |
Explaining Constraint Programming. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Paul-André Melliès |
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Rewriting: From Syntax to Semantics. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Zena M. Ariola, Stefan Blom |
Skew and omega-Skew Confluence and Abstract Böhm Semantics. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yuxin Deng, Catuscia Palamidessi, Jun Pang 0001 |
Compositional Reasoning for Probabilistic Finite-State Behaviors. |
Processes, Terms and Cycles |
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. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | David May 0001 |
CSP, occam and Transputers. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Sadie Creese |
Industrial Strength CSP: Opportunities and Challenges in Model-Checking. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | A. W. Roscoe 0001 |
Seeing Beyond Divergence. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael Goldsmith |
Operational Semantics for Fun and Profit. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jan Peleska 0001 |
Applied Formal Methods - From CSP to Executable Hybrid Specifications. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Daniel E. Cooke |
An Introduction to the Issues of Computer Aided Software Engineering. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | S. Chen, W. T. Tsai, X. P. Chen |
Samea: Object-Oriented Software Maintenance Environment for assembly Programs. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | John M. Baker |
Project Management utilizing an Advanced Case Environment. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Raymond T. Yeh |
System Development as a Wicked Problem. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Joseph E. Urban, Patrick O. Bobbie |
Software productivity: through undergraduate Software Engineering Education and Case Tools. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Robert Chi Tau Lai |
A Process Modeling Approach and Notation. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Luqi |
The Role of Prototyping Languages in Case. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Greg Boone |
Establishing the Context of continuous Improvement for Technology Transfer. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Jason T. L. Wang, Peter A. Ng |
Texpros: an Intelligent Document Processing System. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Wolfgang Deiters, Volker Gruhn, Herbert Weber |
Software Process Evolution in MELMAC. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | W. David Hurley |
Integrating User Interface Development and Modern Software Development. |
The Impact of Case Technology on Software Processes |
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. |
The Impact of Case Technology on Software Processes |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Mike P. Papazoglou, Louis Marinos, Nikolaos G. Bourbakis |
The Organizational Impact of Integrating Multiple Tools. |
The Impact of Case Technology on Software Processes |
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 |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Irène Guessarian |
About Fixpoints for Concurrency. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Lutz Priese |
Approaching Fair Computations by Ultra Metrics. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Paul Gastin |
Infinite Traces. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Rob J. van Glabbeek, Ursula Goltz |
Equivalences and Refinement. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Gérard Boudol, Ilaria Castellani |
Three Equivalent Semantics for CCS. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari |
Transition Systems with Algebraic Structure as Models of Computations. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Darondeau, Pierpaolo Degano |
Causal Trees: Interleaving + Causality. |
Semantics of Systems of Concurrent Processes |
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. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Luc Bougé, Patrick Garda |
Towards a Semantic Approach to SIMD Architectures and their Languages. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Brigitte Rozoy |
On Distributed Languages and Models for Distributed Computation. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | J. W. de Bakker, J. H. A. Warmerdam |
Metric Pomset Semantics for a Concurrnt Language with Recursion. |
Semantics of Systems of Concurrent Processes |
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. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Stefano Kasangian, Anna Labella, Alberto Pettorossi |
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Gérard Boudol |
Flow Event Structures and Flow Nets. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Darondeau |
Concurrency and Computability. |
Semantics of Systems of Concurrent Processes |
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 |
Formal Aspects of Cognitive Processes |
1975 |
DBLP DOI BibTeX RDF |
|
25 | Chin-W. Kim |
Models of Speech Production. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | David Rothenberg |
Predicate Calculus Feature Generation. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | David J. Winter |
A Simple Hierarchical Model of Natural Selection. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Elizabeth Loftus |
Semantic Memory Retrieval: Some Data and a Model. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Arnold Lewis Glass |
Implication as an Alternative to Set-Inclusion as the Semantic Primitive. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Armen Gabrielian, Seymour Ginsburg |
Structured-Storage AFA (Abstract). |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | David Rothenberg |
A Mathematical Model for Perception Applied to the Perception of Pitch. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Storer |
Welcome Aboard. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Renate Bartsch, Theo Vennemann |
The Grammar of relative Adjectives and Comparison. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Olshewsky |
On the Notion of a Rule. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Royal Skousen |
Empirical Restrictions on the Power of Transformation Grammars. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Terrence J. Keeney |
Towards a Theory of Linguistic Memory. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
25 | Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè |
LEMMA: a language for easy medical models analysis. |
CBMS |
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. |
IEEE Trans. Software Eng. |
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. |
Business Process Management Workshops |
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. |
EDOC |
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. |
SIGMETRICS Perform. Evaluation Rev. |
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. |
ICTAI |
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. |
IEEE Trans. Software Eng. |
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. |
DOLAP |
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. |
DAIS |
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. |
Intelligent Tutoring Systems |
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. |
VALUETOOLS |
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. |
TAMODIA |
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. |
ICTAC |
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. |
CIKM |
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. |
RECOMB |
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][ >>] |
|