4118 search results - page 736 / 824 » Mechanisms for usage control |
194
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
179
click to vote
VLDB
2007
ACM
16 years 4 days ago
2007
ACM
The networked and increasingly ubiquitous nature of today's data management services mandates assurances to detect and deter malicious or faulty behavior. This is particularly...
114
click to vote
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
152
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...
203
click to vote
ARTCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—Electronic Control Units (ECUs) are nowadays employed in automotives for discharging various functionalities within the vehicle. It has become the fundamental building block of ...