Sciweavers

3310 search results - page 272 / 662
» Aspect-aware operating system development
Sort
View
HCI
2007
15 years 6 months ago
Closed-Loop Adaptive Decision Support Based on Automated Trust Assessment
This paper argues that it is important to study issues concerning trust and reliance when developing systems that are intended to augment cognition. Operators often under-rely on t...
Peter-Paul van Maanen, Tomas Klos, Kees van Dongen
143
Voted
ENTCS
2002
152views more  ENTCS 2002»
15 years 4 months ago
Abstract Logics as Dialgebras
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
Alessandra Palmigiano
123
Voted
ENTCS
1998
105views more  ENTCS 1998»
15 years 4 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin
WER
2007
Springer
15 years 10 months ago
Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements
Business stakeholders need to have clear and realistic goals if they want to meet commitments in application development. As a consequence, at early stages they prioritize require...
Maya Daneva, Mohamad Kassab, María Laura Po...
ICRA
1999
IEEE
89views Robotics» more  ICRA 1999»
15 years 8 months ago
An Integrated Interface Tool for the Architecture for Agile Assembly
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
Jay Gowdy, Zack J. Butler