681 search results - page 133 / 137 » A Logic for True Concurrency |
187
click to vote
FSKD
2007
Springer
16 years 24 days ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
158
click to vote
LADC
2007
Springer
16 years 23 days ago
2007
Springer
A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities defining the system. Another characterizing dimension of these ...
206
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
187
click to vote
IEEEPACT
2006
IEEE
16 years 20 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
181
click to vote
VRCAI
2004
ACM
16 years 2 days ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...