2786 search results - page 135 / 558 » A Practical Technique for Process Abstraction |
134
click to vote
BIOSIG
2008
15 years 3 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
124
Voted
DASC
2006
IEEE
15 years 5 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
112
click to vote
FORTE
2008
15 years 3 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
109
click to vote
FDL
2007
IEEE
15 years 5 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...