11022 search results - page 333 / 2205 » Programming Systems for Autonomy |
182
click to vote
RISE
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
202
click to vote
UPP
2004
Springer
16 years 4 days ago
2004
Springer
Amorphous computing considers the problem of controlling millions of spatially distributed unreliable devices which communicate only with nearby neighbors. To program such a system...
160
click to vote
PDP
2003
IEEE
16 years 1 days ago
2003
IEEE
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...
154
click to vote
SRDS
2003
IEEE
16 years 1 days ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
171
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...