1336 search results - page 95 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
105
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
138
Voted
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
103
Voted
FIW
2003
15 years 4 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
140
Voted
ICCAD
2006
IEEE
16 years 13 days ago
2006
IEEE
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...
147
Voted
ACL
2009
15 years 1 months ago
2009
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...