3045 search results - page 568 / 609 » Formal Approaches to Software Architecture |
156
click to vote
ASPLOS
2006
ACM
16 years 1 days ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
155
click to vote
APCSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Fibonacci Cubes (FCs), together with the enhanced and extended forms, are a family of interconnection topologies formed by diluting links from binary hypercube. While they scale up...
148
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
The Parallel-Horus framework, developed at the University of Amsterdam, is a unique software architecture that allows non-expert parallel programmers to develop fully sequential m...
140
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
Twenty years after the general adoption of overlapping windows and the desktop metaphor, modern window systems differ mainly in minor details such as window decorations or mouse a...
175
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...