1054 search results - page 128 / 211 » From a Verified Kernel towards Verified Systems |
185
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
151
click to vote
IEEESP
2007
15 years 6 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
183
click to vote
DPD
1998
15 years 6 months ago
1998
To meet users’ growing needs for accessing pre-existing heterogeneous databases, a multidatabase system (MDBS) integrating multiple databases has attracted many researchers recen...
169
click to vote
DIMVA
2008
15 years 7 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...
153
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...