253 search results - page 28 / 51 » A Compositional Approach for Constructing Connectors |
MKWI
2008
13 years 9 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
WICSA
2001
13 years 9 months ago
2001
This paper presents an approach to defining component-based software architectures in which interfaces rather than components play the key role. Architectural descriptions are bui...
CSFW
2004
IEEE
13 years 12 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
HRI
2006
ACM
14 years 2 months ago
2006
ACM
We are interested in the problems of a human operator who is responsible for rapidly and accurately responding to requests for help from an autonomous robotic construction team. A...
ENTCS
2002
13 years 8 months ago
2002
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...