3825 search results - page 404 / 765 » The Language of Time: A Reader |
179
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
141
click to vote
ICALP
2004
Springer
16 years 6 days ago
2004
Springer
We give a simple formulation of Karr’s algorithm for computing all affine relationships in affine programs. This simplified algorithm runs in time O(nk3 ) where n is the progr...
220
Voted
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
214
click to vote
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
194
click to vote
CAV
2003
Springer
16 years 1 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...