654 search results - page 26 / 131 » Thinking about computational thinking |
Book
"This book is about an AJAX Framework and an AJAX Engine for JavaScript,
XML, SOAP, WSDL und ASP.NET using standard Web Services on the
server.
The basic elements for a...
LOGCOM
2007
13 years 7 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
IEEEPACT
2003
IEEE
14 years 29 days ago
2003
IEEE
Computers have changed the way we live, work, and even recreate. Now, they are transforming how we think about and treat human disease. In particular, advanced techniques in biome...
SIGUCCS
2003
ACM
14 years 28 days ago
2003
ACM
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...