Sciweavers

7080 search results - page 191 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
101
Voted
ACMDIS
2010
ACM
14 years 12 months ago
Open design spaces: socially crafting interactive experiences
Abstract. Engaging end-users and user communities to take an active part in the cocreation, evolution, and appropriation of modern, interactive systems has become an increasingly i...
Steffen Budweg, Sebastian Draxler, Steffen Lohmann...
STORAGESS
2006
ACM
15 years 5 months ago
Scalable security for large, high performance storage systems
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
Andrew W. Leung, Ethan L. Miller
79
Voted
HCI
2007
15 years 1 months ago
Intuitive Use of User Interfaces: Defining a Vague Concept
In this paper we present a general definition of the concept ‘intuitive use of user interfaces' on the basis of our current interdisciplinary work. ‘Intuitive use’ is re...
Anja Naumann, Jörn Hurtienne, Johann Habakuk ...
117
Voted
ICFEM
1997
Springer
15 years 3 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
DALT
2008
Springer
15 years 1 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk