Sciweavers

1255 search results - page 120 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
CORR
2008
Springer
149views Education» more  CORR 2008»
13 years 9 months ago
Phase Transitions on Fixed Connected Graphs and Random Graphs in the Presence of Noise
In this paper, we study phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a...
Jialing Liu, Vikas Yadav, Hullas Sehgal, Joshua M....
IEEECIT
2006
IEEE
14 years 3 months ago
The Partitioning Methodology in Hardware/Software Co-Design Using Extreme Programming: Evaluation through the Lego Robot Project
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
Heeseo Chae, Dong-hyun Lee, Jiyong Park, Hoh Peter...
IJMMS
1998
153views more  IJMMS 1998»
13 years 8 months ago
Brahms: simulating practice for work systems design
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
William J. Clancey, Patricia Sachs, Maarten Sierhu...
PODC
1995
ACM
14 years 17 days ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
ICRA
2000
IEEE
128views Robotics» more  ICRA 2000»
14 years 1 months ago
Visually Guided Coordination for Distributed Precision Assembly
We document our initial e orts to instantiate visuallyguided cooperative behaviors between robotic agents in the minifactory environment. Minifactory incorporates high-precision 2...
Michael L. Chen, Shinji Kume, Alfred A. Rizzi, Ral...