1018 search results - page 159 / 204 » Abstraction and Refinement in Model Checking |
116
click to vote
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
100
Voted
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
110
Voted
FUIN
2008
15 years 18 days ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
102
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
137
click to vote
TOG
2008
15 years 14 days ago
2008
eleton is a very useful 1D structure to abstract the geometry and topology of a 3D object. Extraction of curve-skeletons is a fundamental problem in computer graphics, visualizatio...