Sciweavers

3260 search results - page 404 / 652
» Lightweight linked data
Sort
View
VTC
2007
IEEE
130views Communications» more  VTC 2007»
15 years 11 months ago
Cross-Correlation Analysis of Generalized Distributed Antenna Systems with Cooperative Diversity
— In this paper, geometry-based channel models are proposed to describe the topology of generalized distributed antenna systems with cooperative diversity (GDAS-CD). The system a...
Yifan Chen, Chau Yuen, Yan Zhang, Zhenrong Zhang
AIMS
2007
Springer
15 years 11 months ago
A Survey of the High-Speed Self-learning Intrusion Detection Research Area
Intrusion detection for IP networks has been a research theme for a number of years already. One of the challenges is to keep up with the ever increasing Internet usage and network...
Anna Sperotto, Remco van de Meent
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
15 years 11 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
107
Voted
ESWS
2007
Springer
15 years 11 months ago
A Lookup Index for Semantic Web Resources
Developers of Semantic Web applications face a challenge with respect to the decentralised publication model: where to find statements about encountered resources. The “linked d...
Eyal Oren, Giovanni Tummarello
ICDT
2007
ACM
90views Database» more  ICDT 2007»
15 years 11 months ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren