3229 search results - page 131 / 646 » Theories with the Independence Property |
113
Voted
ITRUST
2004
Springer
15 years 6 months ago
2004
Springer
In the literature, the validity of theories or models for trust is usually based on intuition and common sense. Theories and models are not often verified experimentally. The rese...
79
Voted
IJSN
2006
15 years 22 days ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
94
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
84
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
83
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...