2136 search results - page 355 / 428 » A Game-Theoretic Operational Semantics |
164
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The research project CASCOM (Context-aware Business Application Service Co-ordination in Mobile Computing Environments) will implement, validate, and trial value-added su...
130
click to vote
OTM
2005
Springer
15 years 9 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...
108
click to vote
PCM
2005
Springer
15 years 9 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...
126
click to vote
PVM
2005
Springer
15 years 9 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...
137
click to vote
TARK
2005
Springer
15 years 9 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...