13140 search results - page 2332 / 2628 » Coupling Component Systems towards Systems of Systems |
181
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
176
click to vote
CASES
2004
ACM
16 years 4 days ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
185
click to vote
MM
2004
ACM
16 years 4 days ago
2004
ACM
We propose a framework to achieve bandwidth efficient, error robust and bitrate scalable audio streaming. Our approach is compatible with most audio compression format. The main c...
233
click to vote
CCS
2004
ACM
16 years 3 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
215
click to vote
ICS
2004
Tsinghua U.
16 years 2 days ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...