722 search results - page 20 / 145 » The State Operator in Real Time Process Algebra |
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present an approach for lip motion analysis that can be used in conjunction with a person authentication system based on face recognition, to avoid attacks on the...
USENIX
2001
15 years 1 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
126
click to vote
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
TAPSOFT
1991
Springer
15 years 3 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
101
click to vote
PRDC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes the implementation of a processorgroup membership protocol in an experimental real-time network. The protocol is appropriate for fault-tolerant distributed sy...