3765 search results - page 398 / 753 » Formal Methods for Systems Engineering Behavior Models |
143
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
216
click to vote
JIDM
2010
15 years 5 months ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
192
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
190
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
228
click to vote
ICFEM
2003
Springer
16 years 3 hour ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...