1129 search results - page 178 / 226 » Formal Verification of Websites |
107
click to vote
CIA
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
122
click to vote
FTDCS
2004
IEEE
15 years 5 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
123
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
128
click to vote
AMI
2008
Springer
15 years 3 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
ASM
2008
ASM
15 years 3 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...