Sciweavers

2056 search results - page 275 / 412
» Software Architectural Design Meets Security Engineering
Sort
View
MOBISYS
2007
ACM
14 years 9 months ago
A time-and-value centric provenance model and architecture for medical event streams
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
Min Wang, Marion Blount, John Davis, Archan Misra,...
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
14 years 3 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
PROCOMET
1998
13 years 11 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
14 years 4 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
ICSEA
2007
IEEE
14 years 4 months ago
Sycophant: An API for Research in Context-Aware User Interfaces
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...
Anil Shankar, Juan C. Quiroz, Sergiu M. Dascalu, S...