2004 search results - page 102 / 401 » Comparison of Model Checking Tools for Information Systems |
152
Voted
ECMDAFA
2007
Springer
15 years 11 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...
157
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
157
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
124
click to vote
ETFA
2006
IEEE
15 years 10 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...
136
Voted
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...