489 search results - page 57 / 98 » Reasoning about confidentiality at requirements engineering ... |
97
Voted
EMSOFT
2007
Springer
15 years 6 months 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...
119
Voted
KBSE
2005
IEEE
15 years 6 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...
91
Voted
ASPDAC
2007
ACM
15 years 4 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 ...
COMSWARE
2008
IEEE
15 years 7 months 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...
121
Voted
KBSE
2005
IEEE
15 years 6 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...