Sciweavers

1816 search results - page 240 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
DIMVA
2004
15 years 7 months ago
A Honeynet within the German Research Network - Experiences and Results
: A honeynet is a special prepared network which is not used in normal business. It is a kind of playground to watch and learn the tactics of crackers. The only purpose of a honeyn...
Helmut Reiser, Gereon Volker
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
16 years 21 days ago
Eliciting Conceptual Models to Support Interdisciplinary Research
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
Pieter J. Beers, Pieter W. G. Bots
COLING
1990
15 years 7 months ago
Solving Ambiguities In The Semantic Representation Of Texts
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
Marie-Claude Landau
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 6 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
FORTE
2011
14 years 10 months ago
Analyzing BGP Instances in Maude
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Th...