5639 search results - page 339 / 1128 » Timed Abstract Non-interference |
120
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
131
Voted
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...
118
click to vote
ISPAN
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract—In real networks, disjoint paths are needed for providing protection against single link/node failure. When disjoint paths cannot be found, an alternative solution is to...
152
Voted
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
132
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...