Sciweavers

850 search results - page 65 / 170
» Globalization and Offshoring of Software
Sort
View
EMSOFT
2005
Springer
15 years 10 months ago
From multi-clocked synchronous processes to latency-insensitive modules
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien...
SEKE
2005
Springer
15 years 10 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
ECLIPSE
2004
ACM
15 years 10 months ago
Debugging distributed object applications with the Eclipse platform
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
Giuliano Mega, Fabio Kon
WMPI
2004
ACM
15 years 10 months ago
A localizing directory coherence protocol
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...
Collin McCurdy, Charles N. Fischer
DEXAW
1999
IEEE
123views Database» more  DEXAW 1999»
15 years 8 months ago
Client-Server Architecture for Accessing Multimedia and Geographic Databases within Embedded Systems
In this paper we present a software architecture that is dedicated to the development of an information system embedded in a vehicle allowing access to multimedia and geographic d...
Alain Bouju, Arunas Stockus, Frédéri...