2152 search results - page 269 / 431 » An Abstract Account of Composition |
198
click to vote
LPAR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
164
click to vote
OTM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
153
click to vote
SAS
2007
Springer
16 years 17 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
195
click to vote
SOCO
2007
Springer
16 years 17 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
162
click to vote
SOFSEM
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...