7289 search results - page 130 / 1458 » A Dependent Set Theory |
EUROSSC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
STTT
2008
13 years 8 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...