1583 search results - page 152 / 317 » Using Multi-context Systems to Engineer Executable Agents |
HPCN
2000
Springer
14 years 23 days ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
MOBICOM
2004
ACM
14 years 2 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
SC
2009
ACM
14 years 4 months ago
2009
ACM
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...