659 search results - page 120 / 132 » Using formal models to design user interfaces: a case study |
KDD
2004
ACM
14 years 9 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
ISI
2006
Springer
13 years 8 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
SIAMAM
2000
13 years 8 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
SC
2009
ACM
14 years 3 months ago
2009
ACM
Proponents of utility-based scheduling policies have shown the potential for a 100–1400% increase in value-delivered to users when used in lieu of traditional approaches such as...