979 search results - page 185 / 196 » Developing Dynamic Security Policies |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
– Although below-knee prostheses have been commercially available for some time, today’s devices are completely passive, and consequently, their mechanical properties remain fi...
ICCSA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we describe resource and service discovery mechanisms available in iGrid, a novel Grid Information Service based on the relational model. iGrid is developed within th...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
WSNA
2003
ACM
14 years 3 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...