9210 search results - page 1385 / 1842 » Analyzing Real-Time Systems |
215
click to vote
MSWIM
2003
ACM
16 years 1 days ago
2003
ACM
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
169
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
142
click to vote
COCOS
2003
Springer
16 years 22 hour ago
2003
Springer
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This techniqu...
190
click to vote
FATES
2003
Springer
16 years 15 hour ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
198
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The data traffic in wireless networks for the third generation (3G) mobile telecommunication systems should take into account a variety of services (voice, data, video) and envir...