Sciweavers

2136 search results - page 355 / 428
» A Game-Theoretic Operational Semantics
Sort
View
MATES
2005
Springer
15 years 9 months ago
CASCOM: Context-Aware Service Co-ordination in Mobile P2P Environments
Abstract. The research project CASCOM (Context-aware Business Application Service Co-ordination in Mobile Computing Environments) will implement, validate, and trial value-added su...
Heikki Helin, Matthias Klusch, António Lope...
OTM
2005
Springer
15 years 9 months ago
On the Controlled Evolution of Access Rules in Cooperative Information Systems
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
Stefanie Rinderle, Manfred Reichert
PCM
2005
Springer
152views Multimedia» more  PCM 2005»
15 years 9 months ago
Apollon: File System Level Support for QoS Augmented I/O
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...
Taeseok Kim, Youjip Won, Doohan Kim, Kern Koh, Yon...
PVM
2005
Springer
15 years 9 months ago
Implementing MPI-IO Shared File Pointers Without File System Support
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...
Robert Latham, Robert B. Ross, Rajeev Thakur, Bria...
TARK
2005
Springer
15 years 9 months ago
First-order classical modal logic: applications in logics of knowledge and probability
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...
Horacio L. Arló-Costa, Eric Pacuit