1129 search results - page 203 / 226 » Formal Verification of Websites |
107
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
144
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
114
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
ACOM
2004
Springer
15 years 5 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
148
Voted
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...