Sciweavers

857 search results - page 32 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
ANSS
2002
IEEE
14 years 1 months ago
Scheduling a Job Mix in a Partitionable Parallel System
Efficient scheduling of jobs on parallel processors is essential for good performance. However, design of such schedulers is challenging because of the complex interaction between...
Helen D. Karatza, Ralph C. Hilzer Jr.
FIW
2003
115views Communications» more  FIW 2003»
13 years 10 months ago
Generalising Feature Interactions in Email
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
Muffy Calder, Alice Miller
ACMDIS
2006
ACM
14 years 2 months ago
Exploring design as a research activity
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
Blaine Hoffman, Helena M. Mentis, Matthew R. Peter...
FM
2006
Springer
142views Formal Methods» more  FM 2006»
14 years 10 days ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
VRML
1998
ACM
14 years 27 days ago
VSPLUS: A High-Level Multi-User Extension Library for Interactive VRML worlds
In this paper, we introduce the design and implementation of VSPLUS, a high-level multi-user extension library to enable people to simultaneously manipulate interactive VRML world...
Yoshiaki Araki