Sciweavers

699 search results - page 44 / 140
» The KGP Model of Agency for Global Computing: Computational ...
Sort
View
CASCON
2006
127views Education» more  CASCON 2006»
13 years 9 months ago
A model and architecture for situation determination
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
Graham Thomson, Sotirios Terzis, Paddy Nixon
PPOPP
1997
ACM
13 years 11 months ago
Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
Beng-Hong Lim, Chi-Chao Chang, Grzegorz Czajkowski...
ISSTA
2009
ACM
14 years 8 days ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
COLLABORATION
1999
Springer
13 years 12 months ago
Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
Stefano A. Cerri
FIDJI
2003
Springer
14 years 25 days ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...