5838 search results - page 853 / 1168 » A File System for System Programming in Ubiquitous Computing |
142
click to vote
FIDJI
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
144
click to vote
SAS
1999
Springer
15 years 9 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
131
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
152
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
181
click to vote
ICCL
1992
IEEE
15 years 9 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...