3742 search results - page 656 / 749 » On the Use of Formal Techniques for Validation |
150
click to vote
ACTA
1998
15 years 6 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
161
click to vote
JCPHY
2011
14 years 9 months ago
2011
We present a Riemann solver derived by a relaxation technique for classical single-phase shallow flow equations and for a two-phase shallow flow model describing a mixture of so...
206
click to vote
TKDE
2012
13 years 8 months ago
2012
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
161
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
156
click to vote
CEAS
2005
Springer
15 years 12 months ago
2005
Springer
Microsoft has prosecuted a vigorous civil enforcement campaign against spammers and phishers. When initial investigation into a spam or phishing case fails to reveal the identity ...