2171 search results - page 376 / 435 » A Generic Process Algebra |
137
Voted
SIGGRAPH
1989
ACM
15 years 6 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
134
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
93
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Mobile video processing as defined in standards like MPEG-4 and H.263 contains a number of timeconsuming computations that cannot be efficiently executed on current hardware archi...
134
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
124
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 6 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...