Sciweavers

6618 search results - page 1157 / 1324
» Web Search Engines
Sort
View
206
Voted
IUI
2003
ACM
16 years 9 days ago
Personal choice point: helping users visualize what it means to buy a BMW
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
Andrew E. Fano, Scott W. Kurth
ADAEUROPE
2003
Springer
16 years 9 days ago
Charles: A Data Structure Library for Ada95
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
Matthew Heaney
COMPSAC
2007
IEEE
15 years 11 months ago
Infrastructure Hardening: A Competitive Coevolutionary Methodology Inspired by Neo-Darwinian Arms Races
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
Travis C. Service, Daniel R. Tauritz, William M. S...
FASE
2004
Springer
15 years 10 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
AVI
2006
15 years 8 months ago
Usability of overview-supported zooming on small screens with regard to individual differences in spatial ability
While zoomable user interfaces can improve the usability of applications by easing data access, a drawback is that some users tend to become lost after they have zoomed in. Previo...
Thorsten Büring, Jens Gerken, Harald Reiterer
« Prev « First page 1157 / 1324 Last » Next »