Sciweavers

1843 search results - page 346 / 369
» Language-Derived Information and Context Models
Sort
View
BPSC
2010
166views Business» more  BPSC 2010»
14 years 10 months ago
Case Study on Extending Internet of Services Techniques to Real-World Services
: The Internet of Services promotes distributable, composable and tradeable services as first-class entities. Such services are assumed to encompass the full range from electronic...
Josef Spillner, Ronny Kursawe, Alexander Schill
POLICY
2007
Springer
15 years 5 months ago
Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
Apu Kapadia, Prasad Naldurg, Roy H. Campbell
81
Voted
ICCS
2004
Springer
15 years 5 months ago
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
Franck Pommereau
ICMI
2003
Springer
166views Biometrics» more  ICMI 2003»
15 years 5 months ago
Georgia tech gesture toolkit: supporting experiments in gesture recognition
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...
Tracy L. Westeyn, Helene Brashear, Amin Atrash, Th...
SIGCSE
2010
ACM
175views Education» more  SIGCSE 2010»
15 years 4 months ago
MPCT: media propelled computational thinking
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
Eric Andrew Freudenthal, Mary K. Roy, Alexandria N...