307 search results - page 36 / 62 » On the Integrity of Lightweight Checkpoints |
112
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
86
Voted
CHI
2008
ACM
15 years 2 months ago
2008
ACM
Making sense of research literature is a complicated process that involves various information seeking and comprehension tasks. The lack of support for sensemaking in existing sys...
99
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
In this paper new, lightweight security and control protocol for Voice over Internet Protocol (VoIP) service is presented. It is the alternative for the IETF's (Internet Engi...
108
Voted
SOFTWARE
2002
15 years 2 days ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
92
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—In this paper, we study the problem of misbehavior detection in wireless networks . A commonly adopted approach is to utilize the broadcast nature of the wireless medium...