4679 search results - page 30 / 936 » Modeling When Connections Are the Problem |
IWC
2006
14 years 9 months ago
2006
Schools are increasingly integrating character education to facilitate improved moral thinking and pro social behavior among students. An effective method for delivering character...
IJSNET
2007
14 years 9 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
104
click to vote
EUROPAR
2003
Springer
15 years 3 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
103
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...