Sciweavers

4335 search results - page 652 / 867
» Ontology Engineering Relationally
Sort
View
130
Voted
ICST
2010
IEEE
15 years 2 months ago
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
Mijung Kim, Saurabh Sinha, Carsten Görg, Hina...
159
Voted
JUCS
2010
172views more  JUCS 2010»
15 years 2 months ago
Configuration Process of a Software Product Line for AmI Middleware
: Developing Ambient Intelligence applications is a very complex task since it implies dealing with low-level software and hardware resources. The use of a middleware platform may ...
Lidia Fuentes, Nadia Gámez
129
Voted
CIKM
2010
Springer
15 years 1 months ago
From exploratory search to web search and back
The power of search is with no doubt one of the main aspects for the success of the Web. Currently available search engines on the Web allow to return results with a high precisio...
Roberto Mirizzi, Tommaso Di Noia
137
Voted
FSTTCS
2010
Springer
15 years 1 months ago
Lower bounds for Quantum Oblivious Transfer
Oblivious transfer is a fundamental primitive in cryptography. While perfect information theoretic security is impossible, quantum oblivious transfer protocols can limit the disho...
André Chailloux, Iordanis Kerenidis, Jamie ...
116
Voted
FSTTCS
2010
Springer
15 years 1 months ago
Parityizing Rabin and Streett
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
Udi Boker, Orna Kupferman, Avital Steinitz