1039 search results - page 200 / 208 » Real life experiences with experience design |
88
Voted
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
ICIA
2007
14 years 12 months ago
2007
We regularly operate under the notion that one agent assists another when the first does something for the second. However, the story behind this is much more complicated. In thi...
87
Voted
LISA
2007
14 years 12 months ago
2007
In virtual machine environments each application is often run in its own virtual machine (VM), isolating it from other applications running on the same physical machine. Contentio...
NSDI
2007
14 years 12 months ago
2007
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...