549 search results - page 40 / 110 » Weaving a Computing Fabric |
CIMCA
2008
IEEE
14 years 3 months ago
2008
IEEE
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
ISORC
2007
IEEE
14 years 3 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
CA
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a simple method for performing real-time collision detection in a virtual surgery environment. The method relies on the graphics hardware for testing the interpenetrati...