1462 search results - page 252 / 293 » Conditional Access in Mobile Systems: Securing the Applicati... |
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
In the recent years, the massive use of in-car navigation systems has symbolized the emergence of location-based services for wayfinding. This market success creates the opportunit...
108
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
103
click to vote
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
Multi-channel information systems involve data redundancy, which, in turn, requires the implementation of synchronization mechanisms among overlapping databases. This need for peri...
124
click to vote
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
The NEMO project is exploring the use of mobile sensor nodes to augment physical work artefacts in order to ensure compliance with health and safety regulations. In this paper we ...
136
click to vote
POPL
2000
ACM
15 years 4 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...