5550 search results - page 319 / 1110 » Different Approaches to Proof Systems |
184
click to vote
IWDC
2004
Springer
16 years 2 days ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
163
Voted
MDM
2010
Springer
15 years 11 months ago
2010
Springer
—VANETs have been envisioned as an infrastructure for deploying Vehicular Information Systems (VIS) that among others provide drivers with an up-to-date view on the prevailing tr...
188
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
165
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
173
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive hypermedia techniques provide users with personalisation of contents and links. Some of the criticisms of adaptive systems are that users do not always understand why the ...