2678 search results - page 467 / 536 » Operational Semantics of Transactions |
107
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
PCM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Next generation information appliances are required to handle realtime audio/video playback and in the mean time should be able to handle text based requests such as data...
107
click to vote
PVM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These targets va...
103
click to vote
TARK
2005
Springer
15 years 7 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
153
click to vote
TGC
2005
Springer
15 years 7 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...