1791 search results - page 84 / 359 » Two Types of Multiple-Conclusion Systems |
CAV
2003
Springer
14 years 1 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
CSL
2007
Springer
13 years 11 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
MCSS
2002
Springer
13 years 7 months ago
2002
Springer
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
In this work we examine the characteristics of social activity and patterns of communication on Twitter, a prominent example of the emerging class of communication systems we call...
ECAL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In the natural world, individual organisms can adapt as their environment changes. In most in silico evolution, however, individual organisms tend to consist of rigid sol...