1397 search results - page 69 / 280 » On the Need for Practical Formal Methods |
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Coverage problem is a fundamental issue in wireless ad hoc and sensor networks. Previous techniques for coverage scheduling often require accurate location information o...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
IJCAI
2003
13 years 10 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
FM
2003
Springer
14 years 2 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...