2250 search results - page 137 / 450 » Interactive Explanation of Software Systems |
168
click to vote
RIAO
2000
15 years 7 months ago
2000
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...
293
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
210
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
179
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
181
click to vote
COMPSAC
2005
IEEE
16 years 13 hour ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...