5639 search results - page 796 / 1128 » Timed Abstract Non-interference |
152
click to vote
MLMI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
130
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
174
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
122
click to vote
MONTEREY
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
172
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...