3260 search results - page 313 / 652 » Lightweight linked data |
104
click to vote
IV
2008
IEEE
15 years 11 months ago
2008
IEEE
Publishing information on the Semantic Web using common formats enables data to be linked together, integrated and reused. In order to fully leverage the potential for interlinkin...
117
Voted
MUE
2008
IEEE
15 years 11 months ago
2008
IEEE
Investigating realistic simulations in wireless sensor networks has been an area which has drawn a lot of research interest. These simulations are used to predict the lifetime of ...
140
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we look at multiple antenna systems and code information on the communication medium itself to improve the link security. In the case of single data stream trans...
115
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
137
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...