1005 search results - page 150 / 201 » Temporal Structures |
120
click to vote
TOG
2008
15 years 2 months ago
2008
We present a novel wavelet method for the simulation of fluids at high spatial resolution. The algorithm enables large- and smallscale detail to be edited separately, allowing hig...
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
117
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this manuscript we develop a conceptual understanding of how key risk factors associated with Information Technology development projects are magnified or multiplied when deali...
113
click to vote
IFM
1999
Springer
15 years 6 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
126
click to vote
AC
2002
Springer
15 years 2 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...