3799 search results - page 681 / 760 » An Engineering Approach to Formal Methods |
122
click to vote
FPLAY
2008
15 years 6 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
149
click to vote
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular biology, medical imaging, computer aid...
122
click to vote
WSC
2001
15 years 5 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
166
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
136
click to vote
AMC
2007
15 years 4 months ago
2007
Many scientific and engineering applications require optimization methods to find more than one solution to multimodal optimization problems. This paper presents a new particle ...