2012 search results - page 249 / 403 » CORAL - Control, Relations and Logic |
144
click to vote
ISVC
2007
Springer
16 years 19 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
181
click to vote
SFM
2007
Springer
16 years 18 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
168
click to vote
CD
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
162
click to vote
ISMIS
2005
Springer
16 years 10 hour ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
181
click to vote
FSKD
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...