Sciweavers

12459 search results - page 389 / 2492
» cans 2006
Sort
View
IJCSA
2008
104views more  IJCSA 2008»
15 years 7 months ago
Artificial Intelligence and Bluetooth Techniques in a Multi-user M-learning Domain
In this paper we present a practical implementation of a multiuser technical laboratory that combines Artificial Intelligence (AI) and Bluetooth (BT) techniques. The objective is ...
Bonifacio Castaño, Angel Moreno, Melquiades...
SP
2006
IEEE
143views Security Privacy» more  SP 2006»
16 years 1 months ago
Cognitive Authentication Schemes Safe Against Spyware (Short Paper)
Can we secure user authentication against eavesdropping adversaries, relying on human cognitive functions alone, unassisted by any external computational device? To accomplish thi...
Daphna Weinshall
AMAST
2006
Springer
15 years 11 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
ESA
2006
Springer
111views Algorithms» more  ESA 2006»
15 years 11 months ago
Kinetic Collision Detection for Convex Fat Objects
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...
Mohammad Ali Abam, Mark de Berg, Sheung-Hung Poon,...
ESORICS
2006
Springer
15 years 11 months ago
TrustedPals: Secure Multiparty Computation Implemented with Smart Cards
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
Milan Fort, Felix C. Freiling, Lucia Draque Penso,...