675 search results - page 85 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
152
click to vote
HAPTICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
122
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
137
click to vote
USITS
2001
15 years 4 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...
106
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
164
click to vote
VEE
2009
ACM
15 years 10 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...