631 search results - page 9 / 127 » Why Model |
SOFSEM
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
AE
2001
Springer
14 years 2 months ago
2001
Springer
This is a time of increasing interdisciplinary research. Computer science is learning more from biology every day, enabling a plethora of new software techniques to flourish. And b...
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
HOTOS
2003
IEEE
14 years 3 months ago
2003
IEEE
Event-based programming has been highly touted in recent years as the best way to write highly concurrent applications. Having worked on several of these systems, we now believe t...