307 search results - page 37 / 62 » On the Integrity of Lightweight Checkpoints |
115
click to vote
FMAM
2010
14 years 10 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
108
click to vote
WISTP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...
90
Voted
CHI
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents computationally and physically augmented desktop objects - “Things that hover” - that is capable of moving autonomously on desktop, and discusses about tec...
117
click to vote
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
In this document, we describe a light-weighted ontology mediation method that allows users to send semantic queries to distant data repositories to browse for learning object meta...
119
Voted
COMCOM
2006
15 years 14 days ago
2006
Recent technological advances in sensors, low-power integrated circuits, and wireless communications have enabled the design of lowcost, miniature, lightweight, and intelligent ph...