7918 search results - page 309 / 1584 » Model Composition Directives |
131
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
125
Voted
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
133
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
127
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
141
Voted
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...