3256 search results - page 481 / 652 » Applications of Formal Methods to System Design and Verifica... |
179
Voted
INFOVIS
2003
IEEE
16 years 9 days ago
2003
IEEE
Satisfaction surveys are an important measurement tool in fields such as market research or human resources management. Serious studies consist of numerous questions and contain a...
201
click to vote
IJCSA
2007
15 years 7 months ago
2007
This paper studies the design and application of the neural network based adaptive control scheme for autonomous underwater vehicle's (AUV's) depth control system that i...
179
Voted
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
194
Voted
ICFEM
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
226
Voted
ICPW
2007
15 years 8 months ago
2007
The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being fo...