7766 search results - page 1409 / 1554 » Testing Nondeterminate Systems |
SP
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
ATAL
2006
Springer
14 years 29 days ago
2006
Springer
The paper describes main features of an Intelligent Scheduler for Road Transportation Applications based on Magenta agent technology and characterized by a number of unique, advan...
KBSE
2000
IEEE
14 years 24 days ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
TABLEAUX
2000
Springer
14 years 24 days ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
HUC
2009
Springer
14 years 14 days ago
2009
Springer
In 2007, approximately 30% of US adults were obese, with related health care costs exceeding 100 billion dollars. Clearly, the obesity epidemic represents a growing societal conce...