Sciweavers

4052 search results - page 553 / 811
» Using RDF to describe networks
Sort
View
144
Voted
CSCWD
2001
Springer
15 years 11 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
ICRA
2000
IEEE
128views Robotics» more  ICRA 2000»
15 years 11 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...
VLSID
1999
IEEE
102views VLSI» more  VLSID 1999»
15 years 11 months ago
A Low-Power Wireless Camera System
This paper describes the system design of a lowpower wireless camera. A system level approach is used to reduce energy dissipation and maximize battery lifetime. System properties...
Anantha Chandrakasan, Abram P. Dancy, James Goodma...
PADS
1998
ACM
15 years 11 months ago
Synchronized Data Distribution Management in Distributed Simulations
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
Ivan Tacic, Richard Fujimoto
152
Voted
SPIN
2000
Springer
15 years 10 months ago
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
Nicholas Weininger, Darren D. Cofer