10038 search results - page 1601 / 2008 » Model Checking for Managers |
175
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...
153
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
186
Voted
IMR
1998
Springer
15 years 11 months ago
1998
Springer
High reynolds number ow simulations exhibit strong gradients normal to walls and across shear layers requiring much ner resolution of the solution in some directions compared to o...
189
click to vote
KES
1998
Springer
15 years 11 months ago
1998
Springer
The architectural and circuit design aspects of a mixed analog/digital very large scale integration (VLSI) motion detection chip based on models of the insect visual system are des...
172
click to vote
KES
1998
Springer
15 years 11 months ago
1998
Springer
-A large number of studies on Genetic Algorithms (GAs) emphasize finding a globally optimal solution. Some other investigations have also been made for detecting multiple solutions...