10159 search results - page 655 / 2032 » System Design Validation Using Formal Models |
213
click to vote
LISA
2008
15 years 9 months ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
168
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
We study the dynamics of information propagation in environments of low-overhead personal publishing, using a large collection of weblogs over time as our example domain. We chara...
164
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
208
click to vote
APN
2008
Springer
15 years 9 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
223
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...