3199 search results - page 527 / 640 » Variability in Automation System Models |
107
click to vote
MOVEP
2000
15 years 6 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
113
Voted
IQ
2001
15 years 4 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
114
Voted
SRDS
2006
IEEE
15 years 8 months ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
105
click to vote
PADS
2005
ACM
15 years 8 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
121
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...