3190 search results - page 252 / 638 » cans 2011 |
179
Voted
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
209
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Receiver-location privacy is an important security requirement in privacy-preserving Vehicular Ad hoc Networks (VANETs), yet the unavailable receiver’s location information ma...
189
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—In Vehicular Ad Hoc Networks (VANETs), the major communication challenge lies in very poor connectivity, which can be caused by sparse or unbalanced traffic. Deploying supporti...
213
click to vote
KCAP
2011
ACM
14 years 9 months ago
2011
ACM
With billions of assertions and counting, the Web of Data represents the largest multi-contributor interlinked knowledge base that ever existed. We present a novel framework for a...
203
click to vote
LATA
2011
Springer
14 years 9 months ago
2011
Springer
In this paper we propose a hierarchy of classes of languages, generated by networks of evolutionary processors with the filters in several special classes of regular sets. More p...