2514 search results - page 117 / 503 » The use of industrial-strength formal methods |
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
163
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
189
click to vote
AGTIVE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
196
click to vote
JMLR
2002
15 years 6 months ago
2002
We examine the learning-curve sampling method, an approach for applying machinelearning algorithms to large data sets. The approach is based on the observation that the computatio...
165
click to vote
WWW
2005
ACM
16 years 7 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...