1054 search results - page 70 / 211 » From a Verified Kernel towards Verified Systems |
148
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
147
click to vote
ASYNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
172
click to vote
JCDL
2009
ACM
16 years 20 days ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
180
click to vote
ICISS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
127
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...