3160 search results - page 79 / 632 » Postcards from the future |
Publication
When preparing students for an industrial or academic career in software engineering, educational institutions need to address the globally distributed character of the software en...
KR
1991
Springer
13 years 11 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
ARCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
CIKM
1994
Springer
14 years 1 days ago
1994
Springer
Accessing information sources to retrieve data requested by a user can be expensive, especially when dealing with distributed information sources. One way to reduce this cost is t...