Sciweavers

860 search results - page 68 / 172
» Towards a UML for Interactive Systems
Sort
View
BCS
2008
14 years 11 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
IEEEARES
2006
IEEE
15 years 3 months ago
Towards an Integrated Conceptual Model of Security and Dependability
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
Erland Jonsson
SE
2007
14 years 11 months ago
Toward the design of self-organizing dynamics
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...
Jan Sudeikat
ATAL
2009
Springer
14 years 11 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
CHI
2007
ACM
15 years 10 months ago
Towards a quantitative analysis of audio scrolling interfaces
We present the results of a user study inspired by previous work in document navigation comparing rate and position control for navigating an audio timeline. Although interfaces f...
Eric Lee