Sciweavers

127 search results - page 17 / 26
» On the Construction of Abstract Voronoi Diagrams
Sort
View
JUCS
2006
108views more  JUCS 2006»
14 years 9 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
COOPIS
2002
IEEE
15 years 2 months ago
Towards Ontological Foundations for UML Conceptual Models
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
APSEC
2007
IEEE
15 years 1 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
69
Voted
AMAST
2004
Springer
15 years 1 months ago
A Language for Configuring Multi-level Specifications
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
Gillian Hill, Steven Vickers
CPAIOR
2007
Springer
15 years 4 months ago
Cost-Bounded Binary Decision Diagrams for 0-1 Programming
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
Tarik Hadzic, John N. Hooker