Sciweavers

1190 search results - page 112 / 238
» You are There
Sort
View
VSTTE
2005
Springer
14 years 1 months ago
Toasters, Seat Belts, and Inferring Program Properties
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
David Evans
WWW
2003
ACM
14 years 1 months ago
Make it fresh, make it quick: searching a network of personal webservers
Personal webservers have proven to be a popular means of sharing files and peer collaboration. Unfortunately, the transient availability and rapidly evolving content on such host...
Mayank Bawa, Roberto J. Bayardo Jr., Sridhar Rajag...
ADAEUROPE
2003
Springer
14 years 1 months ago
Charles: A Data Structure Library for Ada95
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
Matthew Heaney
ECOOP
1998
Springer
14 years 14 days ago
Mobile Objects and Mobile Agents: The Future of Distributed Computing?
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
Danny B. Lange
ITS
1998
Springer
213views Multimedia» more  ITS 1998»
14 years 13 days ago
Component-Based Construction of a Science Learning Space
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...
Kenneth R. Koedinger, Daniel D. Suthers, Kenneth D...