119 search results - page 18 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
ISORC
2000
IEEE
15 years 1 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
85
Voted
FUIN
2008
14 years 9 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
100
Voted
ICSOC
2004
Springer
15 years 2 months ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...
EDOC
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
A visual word lexicon can be constructed by clustering primitive visual features, and a visual object can be described by a set of visual words. Such a "bag-of-words" re...