Sciweavers

370 search results - page 8 / 74
» How to Control Emergence of Behaviours in a
Sort
View
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
14 years 15 days ago
Reasoning about Asynchronous Behaviour in Distributed Systems
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
Peter Henderson
ACMDIS
2004
ACM
14 years 29 days ago
Easing the wait in the emergency room: building a theory of public information systems
In this paper we discuss a real world problem encountered during recent fieldwork: that of providing information in public settings when the information has both public and privat...
Eamonn O'Neill, Dawn Woodgate, Vassilis Kostakos
SAFECOMP
2009
Springer
14 years 2 months ago
Probabilistic Failure Propagation and Transformation Analysis
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
Xiaocheng Ge, Richard F. Paige, John A. McDermid
DSVIS
2000
Springer
13 years 12 months ago
Specifying Temporal Behaviour in Software Architectures for Groupware Systems
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
Timothy N. Wright, T. C. Nicholas Graham, Tore Urn...
ASSETS
2008
ACM
13 years 8 months ago
Investigating sighted users' browsing behaviour to assist web accessibility
The rapid advancement of World Wide Web (Web) technology and constant need for attractive Websites produce pages that hinder visually impaired users. We assert that understanding ...
Eleni Michailidou, Simon Harper, Sean Bechhofer