1643 search results - page 121 / 329 » Consistability: Describing Usually Consistent Systems |
CIA
2004
Springer
15 years 3 months ago
2004
Springer
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
AGP
1995
IEEE
15 years 1 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
In this work we present a middleware architecture for a mobile peer-to-peer content distribution system. Our architecture allows wireless content dissemination between mobile node...
JCP
2008
14 years 10 months ago
2008
Profiling tools are computer-aided design (CAD) tools that help in determining the computationally intensive portions in software. Embedded systems consist of hardware and software...
DAC
2000
ACM
15 years 11 months ago
2000
ACM
We describe METRICS, a system to recover design productivity via new infrastructure for design process optimization. METRICS seeks to treat system design and implementation as a s...