427 search results - page 56 / 86 » Applying Aspect-Orientation in Designing Security Systems: A... |
120
Voted
SAFECOMP
1998
Springer
15 years 6 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...
122
Voted
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
120
Voted
VLC
2008
15 years 1 months ago
2008
The capabilities of current mobile devices, especially PDAs, are making it possible to design and develop mobile applications that employ visual techniques for using geographic da...
135
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
136
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...