8083 search results - page 1563 / 1617 » A Formalization of Software Architecture |
POPL
2010
ACM
15 years 1 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
95
Voted
CCS
2008
ACM
15 years 26 days ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
94
Voted
FIW
2007
15 years 9 days ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
115
click to vote
MBEES
2008
15 years 9 days ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
87
Voted
ACE
2004
15 years 8 days ago
2004
The 2002 SIGCOMM Workshop on Educational Challenges for Computer Networking [Kur02a] exposed many issues related to teaching computer networking with the need for a laboratory in ...