1785 search results - page 295 / 357 » Modeling Communication with Synchronized Environments |
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
IADIS
2003
14 years 11 months ago
2003
Electronic and mobile Commerce have proven to be highly successful in improving cost efficiencies and driving revenue growth for corporations worldwide. Interestingly, the technol...
ROBOTICA
2006
14 years 9 months ago
2006
This paper compares two methods to estimate the position of a mobile robot in an indoor environment using only odometric calculus and the WiFi energy received from the wireless co...