608 search results - page 86 / 122 » Interactive Oracle Proofs |
FUIN
2006
13 years 10 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
KI
2010
Springer
13 years 8 months ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...
SIAMMA
2010
13 years 4 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
AOSE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
Professionals working to move user experience (UX) into a position of corporate influence are impeded by conflicting recommendations, including those regarding the roles of docume...