1487 search results - page 238 / 298 » Two Kinds of Metonymy |
107
click to vote
SAGA
2005
Springer
15 years 6 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
98
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
106
Voted
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
109
Voted
CIT
2004
Springer
15 years 6 months ago
2004
Springer
End-to-end congestion control algorithms in TCP are designed for a highly co-operative environment with the assumption that the end hosts voluntarily participate in it and obey th...
100
click to vote
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...