Sciweavers

1458 search results - page 223 / 292
» The sequentially realizable functionals
Sort
View
ACHI
2009
IEEE
15 years 11 months ago
Nervixxx: A Video Performance System with Neural Interfaces
Nervixxx introduces neural computing to overcome the limit of conventional performance systems1 that uses tangible computing and physical computing. Specifically, we utilized the ...
Satoru Tokuhisa
ICDE
2009
IEEE
119views Database» more  ICDE 2009»
15 years 10 months ago
Deductive Framework for Programming Sensor Networks
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
Himanshu Gupta, Xianjin Zhu, Xiang Xu
CCS
2009
ACM
15 years 10 months ago
Computational soundness for key exchange protocols with symmetric encryption
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
Ralf Küsters, Max Tuengerthal
EDOC
2009
IEEE
15 years 10 months ago
Using Enterprise Architecture Management Patterns to Complement TOGAF
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
Sabine Buckl, Alexander M. Ernst, Florian Matthes,...
ICASSP
2009
IEEE
15 years 10 months ago
The gigavision camera
We propose a new image device called gigavision camera. The main differences between a conventional and a gigavision camera are that the pixels of the gigavision camera are binary...
Luciano Sbaiz, Feng Yang, Edoardo Charbon, Sabine ...