261 search results - page 19 / 53 » Branching Continuous Time and the Semantics of Continuous Ac... |
IFM
2007
Springer
14 years 2 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
IJWET
2010
13 years 3 months ago
2010
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
AIPS
2008
13 years 11 months ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...