546 search results - page 94 / 110 » An Action Semantics for MML |
MM
2006
ACM
14 years 21 days ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stoke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotonou...
SIGADA
2005
Springer
14 years 6 days ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
CSFW
2003
IEEE
14 years 1 days ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
IUI
2003
ACM
13 years 12 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
CONCUR
2003
Springer
13 years 12 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...