4118 search results - page 789 / 824 » Mechanisms for usage control |
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
PPOPP
2003
ACM
14 years 1 months ago
2003
ACM
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in ...
SAC
2003
ACM
14 years 1 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
SENSYS
2003
ACM
14 years 1 months ago
2003
ACM
Event-driven sensor networks operate under an idle or light load and then suddenly become active in response to a detected or monitored event. The transport of event impulses is l...
SIGCOMM
2003
ACM
14 years 1 months ago
2003
ACM
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- o...