3045 search results - page 207 / 609 » Formal Approaches to Software Architecture |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...
105
click to vote
ARCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
CSCW
2002
ACM
14 years 11 months ago
2002
ACM
In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan&...
91
Voted
IJCAI
1993
15 years 25 days ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...