2153 search results - page 213 / 431 » From Requirements Models to Formal Specifications in B |
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
172
click to vote
IS
2008
15 years 6 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
170
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
167
click to vote
JSYML
2006
15 years 6 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
171
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
Nowadays, applications of virtual reality (VR) and computer games use human characters models with ever-increasing sophistication. Additional challenges are posed by applications,...