3268 search results - page 246 / 654 » Structured Service Composition |
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
161
click to vote
EEMMAS
2007
Springer
16 years 23 days ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
175
click to vote
EUROMICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
171
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
185
click to vote
COLING
1990
15 years 7 months ago
1990
: This paper outlines a framework for connectionist representation based on the composition of connectionist states under vector space operators. The framework is used to specify a...