4099 search results - page 178 / 820 » A Framework for Interactive Proof |
161
click to vote
ENTCS
2006
15 years 5 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
160
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...
121
click to vote
UIST
1994
ACM
15 years 9 months ago
1994
ACM
Multimodal interaction combines input from multiple sensors such as pointing devices or speech recognition systems, in order to achieve more fluid and natural interaction. Twohand...
164
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
129
click to vote
CANDC
1999
ACM
15 years 9 months ago
1999
ACM
The goal of our research is to develop computer systems that support designers’ collective creativity; such systems support individual creative aspects in design through the use...