Sciweavers

1077 search results - page 104 / 216
» integration 2000
Sort
View
DEXAW
2000
IEEE
112views Database» more  DEXAW 2000»
15 years 3 months ago
A Framework for Electronic Negotiations Based on Adjusted-Winner Mediation
This paper presents the design of a procedural framework for an electronic market mediation service based on the adjusted-winner procedure for fair division. The main benefit of a...
Michael Ströbel
DEXAW
2000
IEEE
149views Database» more  DEXAW 2000»
15 years 3 months ago
On 3D Topological Relationships
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
Sisi Zlatanova
DSN
2000
IEEE
15 years 3 months ago
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks
Reliable many-to-many multicasting of messages is an integral part of group communication systems. Such systems typically employ a reliable multicast protocol that operates below ...
Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Sm...
ECBS
2000
IEEE
99views Hardware» more  ECBS 2000»
15 years 3 months ago
Enhancing Architectural Mismatch Detection with Assumptions
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
Sebastián Uchitel, Daniel Yankelevich
ECRTS
2000
IEEE
15 years 3 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...