Sciweavers

4794 search results - page 182 / 959
» Trust-Based Mechanism Design
Sort
View
EDOC
2003
IEEE
15 years 9 months ago
Compensation is Not Enough
– An important problem in designing infrastructure to support business-to-business integration (B2Bi) is how to cancel a long-running interaction (either because the user has cha...
Paul Greenfield, Alan Fekete, Julian Jang, Dean Ku...
IFL
2003
Springer
15 years 9 months ago
Dynamic Chunking in Eden
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
Jost Berthold
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 8 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
ICRA
1998
IEEE
129views Robotics» more  ICRA 1998»
15 years 8 months ago
Antenna Pointing for High Bandwidth Communications from Mobile Robots
This paper discusses the challenge of achieving high bandwidth, distant range wireless communication from mobile robots by way of antenna tracking. In the case of robots traversin...
Deepak Bapna, Eric Rollins, Alex Foessel, William ...
SCCC
1998
IEEE
15 years 8 months ago
Resurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
Luis Mateu, José M. Piquer, Juan Leó...