4041 search results - page 27 / 809 » time 2009 |
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— Behavioural theory is typically developed on the double time axis. On the other hand it is known that there are intrinsic difficulties with double time axis theorems in the in...
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes the issues and challenges for real-time knowledge discovery and then discusses approaches and challenges for real-time data mining and stream mining. Our goal...
80
Voted
ACSD
2009
IEEE
15 years 1 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
DALT
2009
Springer
15 years 27 days ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...