1054 search results - page 125 / 211 » From a Verified Kernel towards Verified Systems |
181
click to vote
RTSS
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...
158
click to vote
PET
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Face recognition is increasingly deployed as a means to unobtrusively verify the identity of people. The widespread use of biometrics raises important privacy concerns, i...
154
click to vote
ICEIS
2007
IEEE
16 years 18 days ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
166
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
169
click to vote
COMCOM
2006
15 years 6 months ago
2006
This paper presents a secure alternate path routing in sensor networks. Our alternate path scheme makes the routing protocol resilient in the presence of malicious nodes that laun...