16725 search results - page 586 / 3345 » Engineering Software Correctness |
176
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
168
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper addresses the problem of design rule correct routing, i.e. the avoidance of illegal wiring patterns during routing. These illegal wiring patterns are due to the set of ...
187
click to vote
TPDS
2002
15 years 6 months ago
2002
This paper addresses the problem of reliably multicasting Web resources across wireless local area networks (WLANs) in support of collaborative computing applications. An adaptive ...
196
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes an experience in requirements engineering for an open source E-Learning tool selection. The process meets the challenges of software selection such as the int...
234
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...