215 search results - page 17 / 43 » Toward Verified Execution Environments |
IUI
1999
ACM
13 years 12 months ago
1999
ACM
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
SOSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
COMPSYSTECH
2010
13 years 7 months ago
2010
: Based on the study of different coordination theories and approaches and on the previous ethnographic case studies, authors identify certain types of coordination, which they int...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...