1722 search results - page 232 / 345 » Ontology Formalism Transformation |
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
ISSS
1995
IEEE
15 years 2 months ago
1995
IEEE
This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a chan...
FOSSACS
2008
Springer
15 years 15 days 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...
108
click to vote
PDSE
1998
15 years 9 days ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
EXPERT
2008
14 years 11 months ago
2008
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...