12107 search results - page 38 / 2422 » Software That Can Think |
ENTCS
2008
13 years 8 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
CACM
2000
13 years 7 months ago
2000
ost abstract sense, we build web pages so that computers can read them. The software that people use to access web pages is what "reads" the document. How the page is ren...
AIME
2005
Springer
14 years 1 months ago
2005
Springer
Sketching is ubiquitous in medicine. Physicians commonly use sketches as part of their note taking in patient records and to help convey diagnoses and treatments to patients. Medic...
VL
2000
IEEE
14 years 11 days ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
PDPTA
2004
13 years 9 months ago
2004
Telepresent Agents are software Agents that are instantiated simultaneously within two or more distinct computer applications (called Locales) which are operating at distinct nodes...