3719 search results - page 50 / 744 » RACER System Description |
115
click to vote
AISC
1998
Springer
15 years 4 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
WWW
2001
ACM
16 years 15 days ago
2001
ACM
The advantages of object-oriented (OO) programming are well-known. Nevertheless, distributed OO middleware systems (OOM) such as CORBA, DCOM or Java RMI have not been widely adopt...
103
click to vote
POLICY
2001
Springer
15 years 4 months ago
2001
Springer
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
101
click to vote
ACSW
2006
15 years 1 months ago
2006
Today, a computer network is under constant assault from attacks. In Computer Science, NIDS are used in order to protect a computer network against these intrusions. These systems...
113
click to vote
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...