1521 search results - page 41 / 305 » On Sampled Semantics of Timed Systems |
110
click to vote
ENTCS
2008
15 years 3 months ago
2008
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
111
click to vote
BIRTHDAY
2010
Springer
15 years 4 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...
136
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...
122
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
120
click to vote
SOSYM
2002
15 years 3 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...