Sciweavers

198 search results - page 33 / 40
» The Ethics of Safety-Critical Systems
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 1 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
ACSE
1996
ACM
15 years 1 months ago
Integrating professional skills into the curriculum
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
John Lamp, Chris Keen, Cathy Urquhart
CHI
2009
ACM
15 years 10 months ago
Tactful calling: urgency-augmented phone calls through high-resolution pressure input on mobile phones
In this paper we present a system that simulates urgency-augmented phone calls on mobile phones. Different scenarios and interaction techniques are discussed. We report a user stu...
Fabian Hemmert, Matthias Löwe, Anne Wohlauf, ...
ALIFE
2010
14 years 9 months ago
Living Technology: Exploiting Life's Principles in Technology
The concept of living technology--that is, technology that is based on the powerful core features of life--is explained and illustrated with examples from artificial life software,...
Mark A. Bedau, John S. McCaskill, Norman H. Packar...
HICSS
2007
IEEE
115views Biometrics» more  HICSS 2007»
15 years 3 months ago
Multiplex conversations afforded by technology
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...
Therese Ornberg Berglund