1699 search results - page 264 / 340 » A timed semantics of Orc |
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Canonical problems are simplified representations of a class of real world problems. They allow researchers to compare algorithms in a standard setting which captures the most im...
BPM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specific...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...