601 search results - page 70 / 121 » Model Checking CTL Properties of Pushdown Systems |
123
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ETFA
2006
IEEE
15 years 7 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
118
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
118
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
109
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...