Sciweavers

2595 search results - page 95 / 519
» Addressing Computational Viewpoint Design
Sort
View
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
14 years 3 months ago
Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
Senem Velipasalar, Chang Hong Lin, Jason Schlessma...
ICECCS
2005
IEEE
136views Hardware» more  ICECCS 2005»
14 years 2 months ago
Model-Based Design and Analysis of Permission-Based Security
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
CSCWD
2009
Springer
14 years 1 months ago
Designing and evaluating interfaces for mobile groupware systems
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...
Carla Diacui Medeiros Berkenbrock, Alexandre Parra...
HICSS
1996
IEEE
136views Biometrics» more  HICSS 1996»
14 years 1 months ago
Design of a Real-Time Co-Operating System for Multiprocessor Workstations
: We have designed a Real-Time Co-Operating System (RTCOS) for simultaneously supporting real-time and non-real-time activities on a workstation with two or more processors. The RT...
Gebran Krikor, Md. Touhidur Raza, David B. Stewart
AVI
2004
13 years 10 months ago
Designing interaction, not interfaces
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...
Michel Beaudouin-Lafon