Sciweavers

4335 search results - page 652 / 867
» Ontology Engineering Relationally
Sort
View
109
Voted
ICST
2010
IEEE
14 years 11 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...
126
Voted
JUCS
2010
172views more  JUCS 2010»
14 years 11 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
104
Voted
CIKM
2010
Springer
14 years 10 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
109
Voted
FSTTCS
2010
Springer
14 years 10 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 ...
89
Voted
FSTTCS
2010
Springer
14 years 10 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