2661 search results - page 412 / 533 » Model Checking Performability Properties |
117
click to vote
EH
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper deals with a new approach to the design of adaptive hardware using common Field Programmable Gate Arrays (FPGA). The ultimate aim is to develop evolvable IP (Intellectua...
133
Voted
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
97
Voted
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
153
click to vote
INTEROP
1999
Springer
15 years 6 months ago
1999
Springer
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
111
click to vote
COMPGEOM
1997
ACM
15 years 6 months ago
1997
ACM
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...