Sciweavers

1302 search results - page 161 / 261
» From Liveness to Promptness
Sort
View
CN
2007
77views more  CN 2007»
15 years 4 months ago
Secure many-to-one symbol transmission for implementation on smart cards
Multicast communication is arguably the most promising paradigm to enable mass Internet transmission of live events, or any other content sent on the network from a single source ...
Francesc Sebé, Alexandre Viejo, Josep Domin...
ALIFE
2005
15 years 4 months ago
Levels of Description: A Novel Approach to Dynamical Hierarchies
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
Simon McGregor, Chrisantha Fernando
TII
2008
98views more  TII 2008»
15 years 4 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
JOT
2007
88views more  JOT 2007»
15 years 4 months ago
Minimalist and Intuitive User Interface Design Guidelines for Consumer Electronics Devices
People today come in contact with many consumer electronics (CE) devices in their daily lives. CE devices have become increasingly complex with added functionality; devices from d...
Won Kim, Seonghoon Kang
CORR
2002
Springer
121views Education» more  CORR 2002»
15 years 4 months ago
Answering Subcognitive Turing Test Questions: A Reply to French
Robert French has argued that a disembodied computer is incapable of passing a Turing Test that includes subcognitive questions. Subcognitive questions are designed to probe the n...
Peter D. Turney