805 search results - page 21 / 161 » Modeling and Analyzing Periodic Distributed Computations |
ACRI
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
In this paper, we analyze the role of the social group in a Ubiquitous Computing (Ubicomp) environment as a source of contextual information. A model is presented to address the s...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
BSN
2009
IEEE
14 years 2 months ago
2009
IEEE
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...