9110 search results - page 1573 / 1822 » Formally-Based Design Evaluation |
129
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents the design and user evaluation of SmartBack, a feature that complements the standard Back button by enabling users to jump directly to key pages in their navig...
167
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the eme...
136
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...
253
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
156
click to vote
VLSID
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....