Search results for "processes"

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