2748 search results - page 484 / 550 » Generating Object-Z Specifications from Use Cases |
111
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We investigate Monte Carlo Markov Chain (MCMC) procedures for the random sampling of some one-dimensional lattice paths with constraints, for various constraints. We will see that...
100
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Similarity joins have been studied as key operations in multiple application domains, e.g., record linkage, data cleaning, multimedia and video applications, and phenomena detectio...
121
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
KDD
2009
ACM
2009
ACM
Classification of software behaviors for failure detection: a discriminative pattern mining approach
16 years 12 days ago
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
PODS
2007
ACM
15 years 12 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...