279 search results - page 17 / 56 » A Name Abstraction Functor for Named Sets |
ACNS
2011
Springer
13 years 11 days ago
2011
Springer
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...
CINQ
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
CONCUR
2006
Springer
14 years 14 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...