624 search results - page 72 / 125 » Application of Lightweight Formal Methods to Software Securi... |
133
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
118
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
121
click to vote
ADHOC
2007
15 years 4 months ago
2007
While it has been argued that application-layer overlay protocols can enhance services in mobile ad-hoc networks, hardly any empirical data is available on the throughput and dela...
162
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
163
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...