489 search results - page 57 / 98 » Reasoning about confidentiality at requirements engineering ... |
153
click to vote
EMSOFT
2007
Springer
16 years 8 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
169
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Due to the large success of wireless networks and handheld devices, the ambient intelligence (AmI) paradigm is becoming a reality. One of the most challenging objectives to achiev...
148
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
168
click to vote
COMSWARE
2008
IEEE
16 years 18 days ago
2008
IEEE
—In this paper we consider tracking a target moving in a 2D plane using a network of sensors, each of which is capable of detecting presence of the target in its vicinity and com...
192
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...