Sciweavers

39 search results - page 5 / 8
» bell 2005
Sort
View
HICSS
2005
IEEE
135views Biometrics» more  HICSS 2005»
14 years 1 months ago
On Space Exploration And Human Error - A Paper on Reliability and Safety
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
David A. Maluf, Yuri Gawdiak, David G. Bell
ITCC
2005
IEEE
14 years 1 months ago
Formalisation and implementation of Access control models
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
Mathieu Jaume, Charles Morisset
ESOP
2005
Springer
14 years 1 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
FOSSACS
2005
Springer
14 years 1 months ago
Full Abstraction for Polymorphic Pi-Calculus
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
Alan Jeffrey, Julian Rathke
CMMR
2005
Springer
130views Music» more  CMMR 2005»
13 years 9 months ago
Metris: A Game Environment for Music Performance
Abstract. Metris is a version of the Tetris game that uses a player’s musical response to control game performance. The game is driven by two factors: traditional game design and...
Mark Havryliv, Terumi Narushima