60 search results - page 10 / 12 » Retracing the Semantics of CSP |
BIRTHDAY
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
CIMCA
2006
IEEE
14 years 1 months ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
ANSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
CP
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...