307 search results - page 31 / 62 » On the Integrity of Lightweight Checkpoints |
93
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
112
Voted
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
92
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This chapter describes a principled, yet computationally efficient way for a team of UAVs with Received Signal Strength Indicator (RSSI) sensors to locate radio frequency emitting...
84
Voted
SC
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we discuss the recent ESG’s development and implementation efforts concerning its authentication infrastructure. ESG’s requirements are to make the user’s log...
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we discuss our approach to constructing a dynamic and secure “Smart Home” environment and tackling the challenges associated with it. We envision a Smart Home a...