Sciweavers

3273 search results - page 509 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
CCS
2010
ACM
15 years 4 months ago
A logic for authorization provenance
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
SAC
2009
ACM
15 years 4 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
ICMI
2009
Springer
126views Biometrics» more  ICMI 2009»
15 years 4 months ago
Multimodal floor control shift detection
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
Lei Chen 0004, Mary P. Harper
MM
2009
ACM
172views Multimedia» more  MM 2009»
15 years 4 months ago
A demonstration of MobiTree: progressive 3D tree models streaming on mobile clients
We demonstrate MobiTree, a system we built that allows progressive streaming and rendering of 3D tree models on a mobile phone. MobiTree enables user to retrieve not only typical ...
Andra Doran, Sebastien Mondet, Romulus Grigoras, G...
BIBE
2008
IEEE
204views Bioinformatics» more  BIBE 2008»
15 years 4 months ago
2D Oculomotor Plant Mathematical Model for eye movement simulation
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
Oleg Komogortsev, Ukwatta K. S. Jayarathna