7918 search results - page 300 / 1584 » Model Composition Directives |
163
click to vote
RE
2004
Springer
15 years 10 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
107
click to vote
EUROMICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
156
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
119
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
128
Voted
APCCM
2006
15 years 6 months ago
2006
Though it is commonly agreed that the design of large database schemata requires group effort, database design from component subschemata has not been investigated thoroughly. In ...