Sciweavers

850 search results - page 65 / 170
» Globalization and Offshoring of Software
Sort
View
EMSOFT
2005
Springer
15 years 3 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 3 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 3 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 3 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 2 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...