10159 search results - page 98 / 2032 » System Design Validation Using Formal Models |
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
ACT Search and rescue robots often use tethers to provide power and communication, but tethers get caught on debris and small robots have difficulty with the added drag of the tet...
MICAI
2000
Springer
13 years 11 months ago
2000
Springer
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
JCST
2010
13 years 2 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
KBSE
2000
IEEE
14 years 15 days ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...