2558 search results - page 40 / 512 » Model Composition Contracts |
115
Voted
PE
2000
Springer
15 years 2 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
107
Voted
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
98
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
126
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
148
click to vote
RULEML
2010
Springer
15 years 14 days ago
2010
Springer
The Semantic Web aims at automating Web content understanding and user request satisfaction. Intelligent agents assist towards this by performing complex actions on behalf of their...