8056 search results - page 454 / 1612 » Object Behavior Analysis |
179
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
193
click to vote
GIS
2006
ACM
15 years 7 months ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
179
click to vote
JLP
2008
15 years 7 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
192
click to vote
JNW
2006
15 years 7 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
201
click to vote
TRUST
2010
Springer
15 years 6 months ago
2010
Springer
We analyze empirical data of Germany’s largest online social lending platform Smava.de to exemplarily study the contribution of unstructured, ambiguous, or unverified informatio...