257 search results - page 22 / 52 » New Bisimulation Semantics for Distributed Systems |
112
click to vote
BIRTHDAY
2004
Springer
15 years 5 months 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...
ICCAD
1998
IEEE
15 years 4 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
111
click to vote
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
90
Voted
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
128
click to vote
TGC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...