2558 search results - page 208 / 512 » Model Composition Contracts |
123
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
121
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
169
click to vote
ICLP
1992
Springer
15 years 9 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
161
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
134
click to vote
SFP
2004
15 years 6 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...