Sciweavers

3103 search results - page 57 / 621
» Managing Concern Interfaces
Sort
View
UM
2010
Springer
14 years 21 days ago
Twitter, Sensors and UI: Robust Context Modeling for Interruption Management
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
Justin Tang, Donald J. Patterson
NLUCS
2004
13 years 9 months ago
Cognitive Dialogue Management
Abstract. Cognitive Dialogue Management is a novel approach to Dialogue Management which proposes a novel architecture for building up advanced interactive interfaces in natural la...
Vincenzo Pallotta
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
14 years 22 days ago
Non-intrusive virtualization management using libvirt
—The success of server virtualization has let to the deployment of a huge number of virtual machines in today’s data centers, making a manual virtualization management very lab...
Matthias Bolte, Michael Sievers, Georg Birkenheuer...
FASE
2000
Springer
13 years 11 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
DFN
2008
13 years 9 months ago
Ethernet OAM Overview: Making Ethernet Manageable
: This paper provides an overview of three important tools for Ethernet Operations, Administration, and Maintenance (OAM): Link-layer Ethernet OAM, Ethernet-Local Management Interf...
Frank Brockners