2514 search results - page 419 / 503 » The use of industrial-strength formal methods |
185
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
There are two broad approaches to query evaluation over probabilistic databases: (1) Intensional Methods proceed by manipulating expressions over symbolic events associated with u...
163
click to vote
OOPSLA
2007
Springer
16 years 13 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
176
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
159
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
161
click to vote
CAV
2007
Springer
16 years 14 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 ...