1980 search results - page 341 / 396 » Compositional Model Checking of Real Time Systems |
ENGL
2008
13 years 9 months ago
2008
The objective herein is to demonstrate the feasibility of a real-time digital control of an inverted pendulum for modeling and control, with emphasis on nonlinear auto regressive m...
DATAMINE
2006
13 years 9 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
3DGIS
2006
Springer
14 years 3 months ago
2006
Springer
Database management systems (DBMS) have significantly changed in the last several years. From a system dealing with management of administrative data they have involved to a spati...
KDD
2002
ACM
14 years 9 months ago
2002
ACM
Security of computer systems is essential to their acceptance and utility. Computer security analysts use intrusion detection systems to assist them in maintaining computer system...