1190 search results - page 50 / 238 » The Continuing Quest for Abstraction |
ISPAN
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper studies the event design in eventtriggered feedback systems with asymptotic stability. A new event-triggering scheme is presented that may postpone the occur...
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
SYNTHESE
2008
13 years 9 months ago
2008
Sydney Shoemaker leads today's "neo-Lockean" liberation of persons from the conservative animalist charge of "neo-Aristotelians" such as Eric Olson, accord...