1705 search results - page 322 / 341 » Representing Constraints with Automata |
136
click to vote
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper describes an automatic wireless LAN access points planning approach based on a multicriteria modelling and solving. A realistic and efficient wLAN planning ...
193
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
169
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
161
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
120
click to vote
COLT
2005
Springer
15 years 10 months ago
2005
Springer
The paper deals with the following problem: is returning to wrong conjectures necessary to achieve full power of algorithmic learning? Returning to wrong conjectures complements t...