4460 search results - page 834 / 892 » Formal methods for interactive systems |
KESAMSTA
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we suggested a mobile collaboration framework based on distributed object group framework (DOGF). This paper focuses on the use of this framework to support mobile c...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
We explored whether Fisher and Durrance’s [11] framework of information communities applies to online technical newsgroups and the impact of particular social types on informati...
ICAT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes a subjective experiment in progress to study human sound localization using mobile audio augmented reality systems. The experiment also serves to validate a ne...