Sciweavers

1215 search results - page 176 / 243
» A theory of Error-Rate Testing
Sort
View
CHI
2005
ACM
14 years 10 months ago
Interaction in 4-second bursts: the fragmented nature of attentional resources in mobile HCI
When on the move, cognitive resources are reserved partly for passively monitoring and reacting to contexts and events, and partly for actively constructing them. The Resource Com...
Antti Oulasvirta, Sakari Tamminen, Virpi Roto, Jaa...
CHI
2005
ACM
14 years 10 months ago
A transformation strategy for multi-device menus and toolbars
The increasing variety of different devices with different screen size, interaction paradigms and application areas raises the need for new technologies of cross-device developmen...
Kai Richter
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 10 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
PODS
2006
ACM
98views Database» more  PODS 2006»
14 years 10 months ago
Two-variable logic on data trees and XML reasoning
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Th...
ICSE
2008
IEEE-ACM
14 years 10 months ago
Formal concept analysis applied to fault localization
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
Peggy Cellier