5243 search results - page 801 / 1049 » Reasoning About Strategies |
172
click to vote
DOCENG
2004
ACM
16 years 2 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
191
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
146
click to vote
NSPW
2004
ACM
16 years 2 days ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
159
click to vote
PDC
2004
ACM
16 years 2 days ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
185
click to vote
SIGSOFT
2004
ACM
16 years 2 days ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...