1855 search results - page 210 / 371 » Probabilistic Frame-Based Systems |
113
click to vote
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
142
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
101
click to vote
BERTINORO
2005
Springer
15 years 8 months ago
2005
Springer
We propose a new paradigm for software availability enhancement. We offer a two-step strategy: Failure prediction followed by maintenance actions with the objective of avoiding imp...
113
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
117
click to vote
MHCI
2005
Springer
15 years 8 months ago
2005
Springer
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...