4286 search results - page 485 / 858 » Formalizing Service Interactions |
135
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
118
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand....
168
click to vote
JUCS
2008
15 years 6 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
143
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we describe the Rich Representation Language (RRL) which is used in the NECA system. The NECA system generates interactions between two or more animated characters....
135
click to vote
ANSOFT
1999
15 years 5 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...