2488 search results - page 175 / 498 » An improvement in formal verification |
116
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
124
click to vote
RSP
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
109
click to vote
ICB
2009
Springer
15 years 7 months ago
2009
Springer
ic Presentations - Abstracts list Monday, August 31st Session 1 – Chairman: Jean-Marc Odobez Title Quality Measures and Stacking Classifiers in Multimodal Biometric Recognition S...
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
109
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...