624 search results - page 58 / 125 » Application of Lightweight Formal Methods to Software Securi... |
102
click to vote
WSNA
2003
ACM
15 years 5 months ago
2003
ACM
The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors provides a new multithreaded embedded operating system integrated with a general-purpose single-board hardwar...
102
click to vote
MMSEC
2006
ACM
15 years 5 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
CATA
2003
15 years 1 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
108
click to vote
DRM
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
109
click to vote
SOUPS
2005
ACM
15 years 5 months ago
2005
ACM
In this article, we describe the design process of Reno, a location-enhanced, mobile coordination tool and person finder. The design process included three field experiments: a ...