Sciweavers

1077 search results - page 104 / 216
» integration 2000
Sort
View
DEXAW
2000
IEEE
112views Database» more  DEXAW 2000»
14 years 14 days 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»
14 years 14 days 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
14 years 13 days 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»
14 years 13 days 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
14 years 13 days 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...