124 search results - page 11 / 25 » Towards Design Recovery from Observations |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
ESCIENCE
2006
IEEE
13 years 11 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
VL
1995
IEEE
13 years 11 months ago
1995
IEEE
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...