1229 search results - page 148 / 246 » Graph-Based Design and Analysis of Dynamic Software Architec... |
129
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
186
click to vote
MMS
2010
14 years 10 months ago
2010
In large-scale peer-to-peer (P2P) Video-on-Demand (VoD) streaming applications, a fundamental challenge is to quickly locate new supplying peers whenever a VCR command is issued, ...
148
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
176
Voted
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Reliability is a key issue of the Service-Oriented Architecture (SOA) which is widely employed in critical domains such as e-commerce and e-government. Redundancy-based fault tole...
149
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...