5243 search results - page 997 / 1049 » Reasoning About Strategies |
177
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Sensors’ locations play a critical role in many sensor network applications. A number of techniques have been proposed recently to discover the locations of regular sensors base...
154
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
168
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
164
click to vote
WS
2005
ACM
15 years 11 months ago
2005
ACM
The pervasiveness of wireless devices and the architectural organization of wireless networks in distributed communities, where no notion of trust can be assumed, are the main rea...
199
click to vote
AADEBUG
2005
Springer
15 years 11 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...