4099 search results - page 75 / 820 » A Framework for Interactive Proof |
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
GRAPHITE
2003
ACM
15 years 3 months ago
2003
ACM
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
BMCBI
2007
14 years 10 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...
SECON
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--EcoExec is a host-assisted interactive execution environment for wireless sensing systems. Users can interact with sensor nodes by viewing attributes and invoking functio...