11436 search results - page 1895 / 2288 » Modeling Real Reasoning |
167
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
156
click to vote
ECRTS
2010
IEEE
15 years 5 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
109
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Large, dynamic, and ad-hoc organizations must frequently initiate data integration and sharing efforts with insufficient awareness of how organizational data sources are related. ...
145
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...
120
Voted
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...