9067 search results - page 368 / 1814 » Adaptive Model Checking |
209
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper proposes a dynamic model supporting multimodal state space probability distributions and presents the application of the model in dealing with visual occlusions when tr...
236
click to vote
DAGSTUHL
2009
15 years 8 months ago
2009
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it ...
234
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
198
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
175
click to vote
SMI
2005
IEEE
16 years 1 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...