Sciweavers

240 search results - page 6 / 48
» The Past, Present and Future of Smalltalk
Sort
View
SEFM
2006
IEEE
15 years 3 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
BIRTHDAY
2005
Springer
15 years 3 months ago
Separation - Past, Present, and Future
Ian M. Hodkinson, Mark Reynolds
ESWS
2005
Springer
15 years 3 months ago
The Semantic Grid: Past, Present and Future
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
David De Roure
FC
2004
Springer
81views Cryptology» more  FC 2004»
15 years 3 months ago
Cryptography and the French Banking Cards: Past, Present, Future
Abstract. This is a brief summary of the invited lecture delivered during the conference. The interested reader is referred to [2] for more information.
Jacques Stern