2647 search results - page 454 / 530 » Solving Term Inequalities |
135
click to vote
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
195
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We consider a scenario where a sophisticated jammer jams an area in a single-channel wireless sensor network. The jammer controls the probability of jamming and transmi...
126
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
145
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
139
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...