Sciweavers

6031 search results - page 1089 / 1207
» Communicating Transaction Processes
Sort
View
108
Voted
ENTCS
2007
88views more  ENTCS 2007»
15 years 3 months ago
Keeping Secrets in Resource Aware Components
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
Tom Chothia, Jun Pang, Muhammad Torabi Dashti
JUCS
2006
119views more  JUCS 2006»
15 years 3 months ago
Course Modeling for Student Profile Based Flexible Higher Education on the Internet
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
László Horváth, Imre J. Rudas
141
Voted
JUCS
2006
101views more  JUCS 2006»
15 years 3 months ago
DS/CDMA Multiuser Detection with Evolutionary Algorithms
This work analyses two heuristic algorithms based on the genetic evolution theory applied to direct sequence code division multiple access (DS/CDMA) communication systems. For diff...
Fernando Ciriaco, Taufik Abrão, Paul Jean E...
NETWORK
2006
96views more  NETWORK 2006»
15 years 3 months ago
A wireless biosensor network using autonomously controlled animals
Recent research shows that animals can be guided remotely by stimulating regions of the brain. Therefore, it is possible to set up an animal wireless sensor network for search and...
Yihan Li, Shivendra S. Panwar, Shiwen Mao
133
Voted
PR
2006
112views more  PR 2006»
15 years 3 months ago
Understanding gestures with systematic variations in movement dynamics
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in sign appearance. We...
Sylvie C. W. Ong, Surendra Ranganath, Yedatore Ven...
« Prev « First page 1089 / 1207 Last » Next »