1397 search results - page 133 / 280 » On the Need for Practical Formal Methods |
146
click to vote
SAINT
2006
IEEE
15 years 10 months ago
2006
IEEE
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...
217
click to vote
SIGSOFT
2011
ACM
14 years 11 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
131
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
160
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
162
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...