Sciweavers

4255 search results - page 321 / 851
» Cover
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
16 years 4 days ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
CAISE
2004
Springer
16 years 3 days ago
A preliminary comparative feature analysis of multi-agent systems development methodologies
While there are a considerable number of software engineering methodologies for developing multi-agent systems, not much work has been reported on the evaluation and comparison of ...
Quynh-Nhu Numi Tran, Graham Low, Mary-Anne William...
ECOOPW
2004
Springer
16 years 3 days ago
Coordination and Adaptation Techniques for Software Entities
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
EDBTW
2004
Springer
16 years 3 days ago
XML Query Processing and Optimization
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
Ning Zhang 0002
EURONGI
2004
Springer
16 years 3 days ago
A Reservation Scheme Satisfying Bandwidth QoS Constraints for Ad-Hoc Networks
Achieving QoS (Quality of Service) in Mobile Ad-hoc NETworks (MANET) has been a research topic in the last years. In this paper we describe a QoS reservation mechanism for Routing ...
Llorenç Cerdà, Michael Voorhaen, Raf...