1585 search results - page 96 / 317 » A framework for computer-aided validation |
141
click to vote
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...
131
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a scalable (i.e. lossy-to-lossless) watermark scheme based on a recently standardized scalable audio coder – AAZ [4]. The proposed framework enables th...
108
Voted
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...
129
click to vote
ASAP
2006
IEEE
15 years 7 months ago
2006
IEEE
We present hereafter a framework for on-chip traffic generation and networks-on-chip performance evaluation. This framework is based on a traffic generator that has three importan...
158
Voted
CONTEXT
2005
Springer
15 years 5 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...