5544 search results - page 180 / 1109 » Three Inadequate Models |
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
IFIP
1997
Springer
14 years 1 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
MM
1996
ACM
14 years 1 months ago
1996
ACM
Tomorrow's multimedia applications will stress all parts of a computer system. To determine the computer resources needed to meet application demands we have developed a new ...
ELPUB
2008
ACM
13 years 11 months ago
2008
ACM
This paper analyzes U.S. university press datasets (2001-2007) to determine net publishers' revenues and net publishers' units, the major markets and channels of distrib...
ACL
2007
13 years 10 months ago
2007
A number of Russian verbs lack 1sg nonpast forms. These paradigmatic gaps are puzzling because they seemingly contradict the highly productive nature of inflectional systems. We m...