3706 search results - page 171 / 742 » KtSeqC: System Description |
138
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
181
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
151
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
158
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
146
click to vote
ADAEUROPE
2008
Springer
16 years 28 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...