Sciweavers

329 search results - page 7 / 66
» Communications Semantics for WSBPEL Processes
Sort
View
PUC
2002
82views more  PUC 2002»
14 years 9 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
15 years 2 months 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»
14 years 9 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»
14 years 10 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
15 years 2 months 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...