Sciweavers

9145 search results - page 1702 / 1829
» Description Logic Systems
Sort
View
VLSI
2010
Springer
13 years 3 months ago
Spatial EM jamming: A countermeasure against EM Analysis?
Electro-Magnetic Analysis has been identified as an efficient technique to retrieve the secret key of cryptographic algorithms. Although similar mathematically speaking, Power or E...
Francois Poucheret, Lyonel Barthe, Pascal Benoit, ...
DLOG
2011
13 years 20 days ago
Repairing Incomplete Reasoners
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
Giorgos Stoilos, Bernardo Cuenca Grau
EDBT
2011
ACM
203views Database» more  EDBT 2011»
13 years 20 days ago
QueryViz: helping users understand SQL queries and their patterns
We present QueryViz, a novel visualization tool for SQL queries that reduces the time needed to read and understand existing queries. It targets two principal audiences: (i) users...
Jonathan Danaparamita, Wolfgang Gatterbauer
FORTE
2011
13 years 19 days 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...
BMCBI
2007
107views more  BMCBI 2007»
13 years 9 months ago
OReFiL: an online resource finder for life sciences
Background: Many online resources for the life sciences have been developed and introduced in peer-reviewed papers recently, ranging from databases and web applications to data-an...
Yasunori Yamamoto, Toshihisa Takagi
« Prev « First page 1702 / 1829 Last » Next »