5200 search results - page 862 / 1040 » Symbolic models for control systems |
173
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Innovative paradigms and frameworks have to be identified to enable the effective deployment and execution of pervasive computing services. Such frameworks must be conceived so a...
217
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
243
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
184
click to vote
SI3D
2006
ACM
16 years 1 months ago
2006
ACM
We describe a new interactive system for 3D design review, built to exploit the visual perception cue of motion parallax, in order to enhance shape perception and aesthetic evalua...
219
click to vote
IPPS
2005
IEEE
16 years 21 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...