Sciweavers

9145 search results - page 1702 / 1829
» Description Logic Systems
Sort
View
123
Voted
VLSI
2010
Springer
14 years 10 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
14 years 6 months 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
167
Voted
EDBT
2011
ACM
203views Database» more  EDBT 2011»
14 years 6 months 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
168
Voted
FORTE
2011
14 years 6 months 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»
15 years 3 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 »