3573 search results - page 482 / 715 » Reasoning about Codata |
142
click to vote
UC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
148
click to vote
DOCENG
2004
ACM
15 years 11 months 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...
172
click to vote
MM
2004
ACM
15 years 11 months 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...
127
click to vote
NSPW
2004
ACM
15 years 11 months 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...
150
click to vote
PDC
2004
ACM
15 years 11 months 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...