4460 search results - page 326 / 892 » Formal methods for interactive systems |
191
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A gene-regulatory network (GRN) refers to DNA segments that interact through their RNA and protein products and thereby govern the rates at which genes are transcribed...
153
click to vote
AOSE
2003
Springer
15 years 12 months ago
2003
Springer
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
152
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we discuss an approach that tries to blur the distinction between adaptive hypermedia and dynamic NLG-based hypermedia. The approach aims at finding an optimal trade...
167
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
155
click to vote
MM
2006
ACM
16 years 20 days ago
2006
ACM
In this paper, we describe Fourth Frame Forums, an application that combines traditional four-frame comic strips with online webbased discussion forums. In this application, users...