624 search results - page 97 / 125 » Application of Lightweight Formal Methods to Software Securi... |
ASE
2008
14 years 12 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
INTERNET
2008
14 years 11 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
131
click to vote
ICDCS
2008
IEEE
15 years 6 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
110
click to vote
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...