1782 search results - page 265 / 357 » Tool Support for Proof Engineering |
EICS
2010
ACM
14 years 1 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
CHI
1995
ACM
14 years 12 days ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
OWLED
2007
13 years 10 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
BXML
2004
13 years 10 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...
IADIS
2004
13 years 10 months ago
2004
In this work, a laboratory of remote access is proposed to perform experiments using the Internet in order to facilitate the propagation of technical and scientific information an...