Sciweavers

4460 search results - page 64 / 892
» Resources in process algebra
Sort
View
TCS
2008
15 years 6 months ago
On process rate semantics
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
Luca Cardelli
BIS
2006
150views Business» more  BIS 2006»
15 years 7 months ago
Why Do We Actually Need the Pi-Calculus for Business Process Management?
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...
Frank Puhlmann
JIT
2005
Springer
149views Database» more  JIT 2005»
15 years 11 months ago
Grid Resource Ontologies and Asymmetric Resource-Correlation
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
Mumtaz Siddiqui, Thomas Fahringer, Jürgen Hof...
FOSSACS
2008
Springer
15 years 7 months ago
Structural Operational Semantics for Stochastic Process Calculi
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
Bartek Klin, Vladimiro Sassone
IJCNN
2006
IEEE
16 years 4 days ago
Constraints on the Design Process for Systems with Human Level Intelligence
—Any system which must learn to perform a large number of behavioral features with limited information handling resources will tend to be constrained within a set of architectura...
L. Andrew Coward