859 search results - page 95 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
180
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
161
click to vote
SIGMOD
2002
ACM
16 years 5 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...
135
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...
155
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present an analytical model for the approximate calculation of the throughput and end-toend delay performance in single hop and multihop IEEE 802.11 networks unde...
131
click to vote
SGAI
2007
Springer
15 years 11 months ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...