19003 search results - page 201 / 3801 » We Need Assurance! |
MOBISYS
2008
ACM
14 years 10 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
MOBIHOC
2006
ACM
14 years 10 months ago
2006
ACM
Message ferrying is a networking paradigm where a special node, called a message ferry, facilitates the connectivity in a mobile ad hoc network where the nodes are sparsely deploy...
EDBT
2009
ACM
14 years 5 months ago
2009
ACM
Database storage managers have long been able to efficiently handle multiple concurrent requests. Until recently, however, a computer contained only a few single-core CPUs, and th...
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we investigate the problem of designing a switching compensator for a plant switching amongst a (finite) family of given configurations (Ai,Bi,Ci). We assume that...