5599 search results - page 53 / 1120 » Abstract State Services |
141
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
98
Voted
SFP
2003
15 years 3 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
122
click to vote
SERVICES
2008
15 years 3 months ago
2008
an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via chan...
114
click to vote
SIGOPSE
1998
ACM
15 years 5 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
123
click to vote
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a ...