8555 search results - page 390 / 1711 » Property Based Coordination |
200
click to vote
IJCIS
2006
15 years 7 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
165
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
— Close relationships between guessing functions and length functions are established. Good length functions lead to good guessing functions. In particular, guessing in the incre...
170
click to vote
TKDE
2008
15 years 7 months ago
2008
Signal strength fluctuation is one of the major problems in a fingerprint-based localization system. To alleviate this problem, we propose a scrambling method to exploit temporal d...
211
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
219
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
We study two-player timed games where the objectives of the two players are not opposite. We focus on the standard notion of Nash equilibrium and propose a series of transformation...