2607 search results - page 29 / 522 » On the Architecture of System Verification Environments |
ACSW
2006
13 years 8 months ago
2006
In the grid architecture, a grid workflow system is a type of high-level grid middleware which is supposed to support modelling, redesign and execution of large-scale sophisticate...
ARCS
2005
Springer
14 years 28 days ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
SI3D
2003
ACM
14 years 19 days ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
COMPSAC
1997
IEEE
13 years 11 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...