9370 search results - page 55 / 1874 » An Abstract Notion of Application |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...
CONCUR
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...