2513 search results - page 428 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
161
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
151
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
171
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
131
click to vote
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
140
click to vote
PERVASIVE
2005
Springer
15 years 10 months ago
2005
Springer
Distributed sensor networks offer many new capabilities for contextually monitoring environments. By making such systems mobile, we increase the application-space for the distribut...