1395 search results - page 87 / 279 » Incremental Construction Approach for Distributed System Spe... |
123
Voted
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
100
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
121
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
113
click to vote
ACSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...