Sciweavers

13397 search results - page 146 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
140
Voted
CLUSTER
2005
IEEE
15 years 4 months ago
SymbioticSphere: Towards an Autonomic Grid Network System
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...
Paskorn Champrasert, Chonho Lee, Junichi Suzuki
124
Voted
OPODIS
2007
15 years 4 months ago
Timed Quorum Systems for Large-Scale and Dynamic Environments
This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are...
Vincent Gramoli, Michel Raynal
127
Voted
CSMR
2006
IEEE
15 years 8 months ago
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
RE
2010
Springer
14 years 9 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
138
Voted
RP
2009
Springer
124views Control Systems» more  RP 2009»
15 years 9 months ago
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
Denis Lugiez