2488 search results - page 253 / 498 » An improvement in formal verification |
114
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
105
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...
118
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...
124
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...