2152 search results - page 195 / 431 » An Abstract Account of Composition |
187
click to vote
ICSOC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
171
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
167
click to vote
ACL
1998
15 years 8 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
168
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
165
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...