350 search results - page 66 / 70 » Petri Net Analysis Using Invariant Generation |
SPW
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
ADCM
1998
13 years 9 months ago
1998
: Linear integral operators describing physical problems on symmetric domains often are equivariant, which means that they commute with certain symmetries, i.e., with a group of or...
EC
1998
13 years 9 months ago
1998
This paper is the first part of a two part series. It proves a number of direct relationships between the Fourier transform and the simple genetic algorithm. (For a binary repres...