1106 search results - page 176 / 222 » Software That Can Think and Do |
ATVA
2006
Springer
14 years 6 days ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
ITS
2000
Springer
14 years 1 days ago
2000
Springer
This paper describes TEATRIX; a learning environment designed to help children, and their teachers, in the whole process of collaborative story creation. TEATRIX provides an enviro...
FC
1997
Springer
14 years 1 days ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
SIGGRAPH
1995
ACM
14 years 9 hour ago
1995
ACM
Recent advances in realtime image compression and decompression hardware make it possible for a high-performance graphics engine to operate as a rendering server in a networked en...
CSE
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract--Web 2.0 users have many choices of contenthosting or application-service providers (CSPs). It can be difficult for a user to share content with a set of real-life friends...