2602 search results - page 218 / 521 » Semantic Analysis of 'to' |
213
click to vote
PSTV
1992
15 years 7 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
149
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper deals with the problem of structuralizing education and training videos for high-level semantics extraction and nonlinear media presentation in e-learning applications....
150
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
170
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...