Sciweavers

329 search results - page 7 / 66
» Communications Semantics for WSBPEL Processes
Sort
View
PUC
2002
82views more  PUC 2002»
13 years 7 months ago
A Location Model for Communicating and Processing of Context
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...
Michael Beigl, Tobias Zimmer, Christian Decker
BIRTHDAY
2004
Springer
14 years 26 days ago
Communicating Mobile Processes
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
Peter H. Welch, Fred R. M. Barnes
FAC
2008
114views more  FAC 2008»
13 years 7 months ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe
ANLP
1994
89views more  ANLP 1994»
13 years 8 months ago
Multifunction Thesaurus For Russian Word Processing
A new type of thesaurus for word processing is proposed. It comprises 7 semantic and 8 syntagmatic types of links between Russian words and collocations. The original version now ...
Igor A. Bolshakov
AGENTCL
2003
Springer
14 years 21 days ago
An Empirical Model of Communication in Multiagent Systems
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
Michael Rovatsos, Matthias Nickles, Gerhard Wei&sz...