Sciweavers

478 search results - page 54 / 96
» Computational thinking and thinking about computing
Sort
View
EUROCAST
2007
Springer
122views Hardware» more  EUROCAST 2007»
14 years 26 days ago
Generation of Indexes for Compiling Efficient Parsers from Formal Specifications
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
Carlos Gómez-Rodríguez, Miguel A. Al...
MA
1999
Springer
110views Communications» more  MA 1999»
14 years 1 months ago
Hive: Distributed Agents for Networking Things
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
Nelson Minar, Matthew Gray, Oliver Roup, Raffi Kri...
CHI
2006
ACM
14 years 9 months ago
Incompatible BLOCK: wonders accompanied interface
For interface design, improving user curiosity is important, as is intuitiveness and intelligibility. We think the wonder of 2D property input becoming 3D, as expected by the user...
Jun Fujiki, Taketoshi Ushiama, Kiyoshi Tomimatsu
HAID
2007
Springer
14 years 3 months ago
Shake2Talk: Multimodal Messaging for Interpersonal Communication
This paper explores the possibilities of using audio and haptics for interpersonal communication via mobile devices. Drawing on the literature on current messaging practises, a new...
Lorna M. Brown, John Williamson
KIVS
2007
Springer
14 years 3 months ago
A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)
Abstract Most SSL/TLS-based e-commerce applications employ conventional mechanisms for user authentication. These mechanisms—if decoupled from SSL/TLS session establishment—are...
Rolf Oppliger, Ralf Hauser, David A. Basin, Aldo R...