989 search results - page 166 / 198 » Pebbling and Proofs of Work |
ESOP
2001
Springer
14 years 13 days ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
CAISE
2000
Springer
14 years 8 days ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
AISC
1998
Springer
14 years 5 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
DBPL
1993
Springer
14 years 23 hour ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
DEXA
2007
Springer
13 years 12 months ago
2007
Springer
The two dominant costs in continuous spatial query systems are the wireless communication cost for location update, and the evaluation cost for query processing. Existing works add...