Sciweavers

2209 search results - page 412 / 442
» Language Based Secure Communication
Sort
View
ENTCS
1998
105views more  ENTCS 1998»
13 years 9 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin
WWW
2007
ACM
14 years 10 months ago
Collaboratively Building Structured Knowledge with DBin: From del.icio.us Tags to an "RDFS Folksonomy"
DBin is a Semantic Web application that enables groups of users with a common interest to cooperatively create semantically structured knowledge bases. These user groups, which we...
Giovanni Tummarello, Christian Morbidoni
CHI
2009
ACM
14 years 10 months ago
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...
Scott S. Snibbe, Hayes Raffle
CHI
2005
ACM
14 years 10 months ago
Polymorphic letters: transforming pen movements to extend written expression
We are developing a digital writing tool, Polymorphic Letters (PL), to investigate hand and pen movements as they may extend and enrich expression in written language. PL recogniz...
Andrea Taylor, Zoltan Foley-Fisher, Carol Stroheck...
VLDB
2004
ACM
96views Database» more  VLDB 2004»
14 years 10 months ago
Multidimensional data modeling for location-based services
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
Christian S. Jensen, Augustas Kligys, Torben Bach ...