489 search results - page 83 / 98 » Reasoning about confidentiality at requirements engineering ... |
88
Voted
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper proposes a distributed Canny edge detection algorithm which can be mapped onto multi-core architectures for high throughput applications. In contrast to the conventiona...
122
click to vote
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
121
click to vote
ADB
1994
15 years 4 months ago
1994
Database applications and technologies are of central importance in many information systems a person may encounter. To obtain services, the end-users are required a smart card (pl...
117
Voted
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...