4770 search results - page 106 / 954 » Flexible Type Analysis |
131
Voted
ACL
2009
15 years 2 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper reports intermediate-scale instability in a single-stage power-factor-correction (PFC) power supply that employs a cascade configuration of a boost stage operating ...
112
click to vote
ANSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
136
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
140
click to vote
PADO
2001
Springer
15 years 8 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...