4166 search results - page 285 / 834 » Automating the constraining process |
132
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
167
click to vote
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a method for tracking the 3D position of a nger, using a single camera placed several meters away from the user. After skin detection, we use motion to identify the ges...
134
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
131
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
ECSCW
2007
15 years 5 months ago
2007
The service provider-customer relationship, although not perhaps considered a typical collaborative relationship, is clearly collaborative work. However, such work is constrained b...