3229 search results - page 131 / 646 » Theories with the Independence Property |
179
click to vote
ITRUST
2004
Springer
15 years 11 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...
138
click to vote
IJSN
2006
15 years 6 months 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 ...
162
click to vote
CALCO
2009
Springer
16 years 29 days 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...
143
click to vote
CONCUR
2009
Springer
16 years 29 days 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...
152
click to vote
GECCO
2005
Springer
15 years 12 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...