3799 search results - page 275 / 760 » An Engineering Approach to Formal Methods |
216
click to vote
TAL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
164
click to vote
ISORC
2007
IEEE
16 years 28 days ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
217
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
197
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
178
click to vote
COORDINATION
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...