Sciweavers

403 search results - page 39 / 81
» Rationale and Design of BULK
Sort
View
CHI
2006
ACM
14 years 10 months ago
Engaging with a situated display via picture messaging
We outline initial investigations into how choices of spatial configuration, input devices and display technologies influence action and interaction in hybrid electronic and physi...
Karen Martin, Alan Penn, Lesley Gavin
PERCOM
2005
ACM
14 years 9 months ago
A Location Model for Pervasive Computing Environments
This paper presents a world model for location-aware and user-aware services in ubiquitous computing environments. It can be dynamically organized like a tree based on geographica...
Ichiro Satoh
ICSE
2009
IEEE-ACM
14 years 4 months ago
Can peer code reviews be exploited for later information needs?
Code reviews have proven to be an effective means of improving overall software quality. During the review, there is an exchange of knowledge between the code author and reviewer ...
Andrew Sutherland, Gina Venolia
SEFM
2007
IEEE
14 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
SEMWEB
2007
Springer
14 years 3 months ago
The HCOME-3O Framework for Supporting the Collaborative Engineering of Evolving Ontologies
Nowadays it is widely accepted that ontologies, the key technology for the realization of the Semantic Web, are artefacts that are collaboratively and iteratively developed/evolved...
George A. Vouros, Konstantinos Kotis, Christos Cha...