2736 search results - page 214 / 548 » Implementable allocation rules |
179
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
We present a prototype of an inductive database. Our system enables the user to query not only the data stored in the database but also generalizations (e.g. rules or trees) over ...
279
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...
146
click to vote
SAINT
2008
IEEE
16 years 25 days ago
2008
IEEE
We have implemented Multi-Session based Network Security Event Detector: ROOK to detect botnet activity and P2P file sharing traffic and our results show that our method is less...
200
click to vote
AGTIVE
2007
Springer
16 years 19 days ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
159
click to vote
SGAI
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...