2243 search results - page 33 / 449 » Contracts for Mobile Processes |
101
click to vote
DEXAW
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
158
Voted
VL
2000
IEEE
15 years 7 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
155
Voted
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
126
Voted
INTERACT
2003
15 years 4 months ago
2003
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...