Sciweavers

9380 search results - page 1472 / 1876
» Collaborative information system design
Sort
View
UML
2001
Springer
15 years 11 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
IATA
1998
Springer
15 years 11 months ago
Dynamic Resource Allocation by Market-Based Routing in Telecommunications Networks
We present an approach to resource allocation in telecommunications networks based on the interaction of self-interested agents which have limited information about their environme...
M. A. Gibney, Nicholas R. Jennings
MM
1997
ACM
102views Multimedia» more  MM 1997»
15 years 11 months ago
Flavor: A Language for Media Representation
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
Alexandros Eleftheriadis
ECOOP
1997
Springer
15 years 11 months ago
Subtyping Is Not a Good "Match" for Object-Oriented Languages
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
Kim B. Bruce, Leaf Petersen, Adrian Fiech
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 11 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
« Prev « First page 1472 / 1876 Last » Next »