6020 search results - page 93 / 1204 » A New Approach to Model Counting |
111
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
142
Voted
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
87
Voted
ICCAD
2006
IEEE
16 years 20 days ago
2006
IEEE
Most existing buffering algorithms neglect the impact of inductance on circuit performance, which causes large error in circuit analysis and optimization. Even for the approaches...
108
Voted
ACCV
2010
Springer
14 years 10 months ago
2010
Springer
Estimating the atmospheric or meteorological visibility distance is very important for air and ground transport safety, as well as for air quality. However, there is no holistic ap...
133
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...