Sciweavers

5961 search results - page 676 / 1193
» Design Science and Software Engineering
Sort
View
ECSA
2007
Springer
15 years 11 months ago
Leveraging Architecture Patterns to Satisfy Quality Attributes
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...
Neil B. Harrison, Paris Avgeriou
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
AMAST
2006
Springer
15 years 10 months ago
The Substitution Vanishes
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
Armin Kühnemann, Andreas Maletti
AUIC
2004
IEEE
15 years 10 months ago
e-Ghosts: Leaving Virtual Footprints in Ubiquitous Workspaces
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
Michael Vernik, Steven Johnson, Rudi Vernik
AUIC
2004
IEEE
15 years 10 months ago
Tactons: Structured Tactile Messages for Non-Visual Information Display
Tactile displays are now becoming available in a form that can be easily used in a user interface. This paper describes a new form of tactile output. Tactons, or tactile re struct...
Stephen A. Brewster, Lorna M. Brown