Sciweavers

60 search results - page 9 / 12
» Guest Editor's Note
Sort
View
EKAW
2004
Springer
14 years 4 months ago
ConEditor: Tool to Input and Maintain Constraints
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
Suraj Ajit, Derek H. Sleeman, David W. Fowler, Dav...
JELIA
1998
Springer
14 years 3 months ago
A Resolution Calculus for Dynamic Semantics
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
Christof Monz, Maarten de Rijke
EUROCRYPT
2004
Springer
14 years 2 months ago
Efficient Selective-ID Secure Identity-Based Encryption Without Random Oracles
An extended abstract of this paper appears in C. Cachin and J. Camenisch, editors, Advances in Cryptology-EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, pages 22...
Dan Boneh, Xavier Boyen
KES
2006
Springer
13 years 10 months ago
Hybrid Approach of Augmented Classroom Environment with Digital Pens and Personal Handhelds
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...
Motoki Miura, Susumu Kunifuji
JCS
2008
124views more  JCS 2008»
13 years 11 months ago
Securing information flow via dynamic capture of dependencies
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
Paritosh Shroff, Scott F. Smith, Mark Thober