864 search results - page 113 / 173 » codes 2003 |
131
click to vote
GPCE
2003
Springer
15 years 8 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
122
Voted
IBPRIA
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water...
135
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
122
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
120
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...