27274 search results - page 5126 / 5455 » A framework for framework documentation |
180
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
178
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
178
click to vote
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
220
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
175
click to vote
RAID
2005
Springer
16 years 4 days ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...