2152 search results - page 146 / 431 » An Abstract Account of Composition |
169
click to vote
FMSD
2006
15 years 6 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
194
click to vote
ISF
2007
15 years 6 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
154
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
189
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
157
click to vote
ICCBR
1995
Springer
15 years 10 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...