116 search results - page 15 / 24 » Composition and Decomposition in True-Concurrency |
FAC
2008
13 years 7 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
RE
2004
Springer
14 years 27 days 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...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
SIGGRAPH
2010
ACM
14 years 1 days ago
2010
ACM
Traditional image compositing techniques, such as alpha matting and gradient domain compositing, are used to create composites that have plausible boundaries. But when applied to ...
JSS
2006
13 years 7 months ago
2006
This paper proposes an approach to automatically generate semantics for scientific e-documents, and presents its applications in e-document understanding, question answering and q...