Sciweavers

2056 search results - page 343 / 412
» time 2000
Sort
View
ACTA
2000
92views more  ACTA 2000»
13 years 9 months ago
How to Calculate Symmetries of Petri Nets
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
Karsten Schmidt 0004
ALIFE
2000
13 years 9 months ago
On Meme-Gene Coevolution
In this paper we examine the effects of the emergence of a new replicator, memes, on the evolution of a pre-existing replicator, genes. Using a version of the NKCS model we examin...
Larry Bull, Owen Holland, Susan Blackmore
BC
2000
88views more  BC 2000»
13 years 9 months ago
Legged insects select the optimal locomotor pattern based on the energetic cost
The gait transition in legged animals has attracted many researchers, and its relation to metabolic cost and mechanical work has been discussed in recent decades. We assumed that t...
Jun Nishii
CJ
2000
101views more  CJ 2000»
13 years 9 months ago
Safe Structural Conformance for Java
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
Konstantin Läufer, Gerald Baumgartner, Vincen...
COMCOM
2000
130views more  COMCOM 2000»
13 years 9 months ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo