1438 search results - page 225 / 288 » Models for Trustworthy Service and Process Oriented Systems |
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
141
click to vote
TGC
2010
Springer
14 years 9 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
105
click to vote
APSEC
2002
IEEE
15 years 4 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
101
click to vote
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
WSC
2001
15 years 1 months ago
2001
The Washington State Ferries are one of the largest ferry systems in the world. Accidents involving Washington State Ferries are rare events. However, low probability, high conseq...