Sciweavers

4615 search results - page 439 / 923
» Virtual Classes and Their Implementation
Sort
View
FAABS
2004
Springer
16 years 7 days ago
A Formal Analysis of Potential Energy in a Multi-agent System
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
William M. Spears, Diana F. Spears, Rodney Heil
135
Voted
ICWE
2004
Springer
16 years 7 days ago
A System for Interactive Authorization for Business Processes for Web Services
Business Processes for Web 1 Services are the new paradigm for virtual organization. In such cross organizational partnerships no business partner may guess a priori what kind of c...
Hristo Koshutanski, Fabio Massacci
ISMS
2004
Springer
16 years 7 days ago
An Interactive Parallel Multigrid FEM Simulator
Physically based modeling of deformable objects such as cloth or human tissue has grown to be very important for virtual simulations. However, interactive simulation of these nonl...
Xunlei Wu, Tolga Goktekin, Frank Tendick
WAC
2004
Springer
150views Communications» more  WAC 2004»
16 years 6 days ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson
175
Voted
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
16 years 4 days ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka