Sciweavers

3710 search results - page 557 / 742
» A new calculus of contexts
Sort
View
ACMDIS
2008
ACM
15 years 8 months ago
Taming the situationist beast
The interplay between arts and HCI has become increasingly commonplace in the past years, offering new opportunities for approaching interaction, but also raising challenges in in...
Lucian Leahu, Jennifer Thom-Santelli, Claudia Pede...
ACNS
2008
Springer
96views Cryptology» more  ACNS 2008»
15 years 8 months ago
Efficient Device Pairing Using "Human-Comparable" Synchronized Audiovisual Patterns
Abstract. "Pairing" is referred to as the operation of achieving authenticated key agreement between two human-operated devices over a short- or medium-range wireless com...
Ramnath Prasad, Nitesh Saxena
AOSD
2008
ACM
15 years 8 months ago
AspectT: aspect-oriented test case instantiation
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
Sebastian Benz
EICS
2010
ACM
15 years 8 months ago
Xplain: an editor for building self-explanatory user interfaces by model-driven engineering
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...
Alfonso García Frey, Gaëlle Calvary, S...
ESWS
2010
Springer
15 years 8 months ago
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
Jörg Pührer, Stijn Heymans, Thomas Eiter