957 search results - page 134 / 192 » Negotiations and Petri Nets |
89
Voted
FMSD
2006
14 years 11 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
89
Voted
IJSN
2008
14 years 11 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
125
Voted
TII
2008
14 years 11 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
107
click to vote
ECMDAFA
2009
Springer
14 years 9 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
163
click to vote
CMSB
2011
Springer
13 years 11 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...