16218 search results - page 2929 / 3244 » Standards |
201
click to vote
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We review and investigate the current status of intransitivity as a potential obstacle in coevolution. Pareto-Coevolution avoids intransitivity by translating any standar...
197
click to vote
RT
2004
Springer
16 years 2 days ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...
148
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
189
click to vote
SPW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
179
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...