2806 search results - page 218 / 562 » BML and Related Tools |
186
Voted
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Clio project provides tools that vastly simplify information integration. Information integration requires data conversions to bring data in different representation...
170
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
177
click to vote
LCPC
2007
Springer
16 years 29 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
196
click to vote
IWIA
2005
IEEE
16 years 12 days ago
2005
IEEE
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
186
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...