359 search results - page 52 / 72 » Abstract Patterns of Compositional Reasoning |
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
TCIAIG
2010
13 years 3 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
LPAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
CBSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...
ACSD
2004
IEEE
14 years 10 days ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...