4520 search results - page 580 / 904 » Algebraic Techniques for Timed Systems |
175
click to vote
SIAMREV
2010
15 years 1 months ago
2010
The Lorenz attractor is one of the best known examples of applied mathematics. However, much of what is known about it is a result of numerical calculations and not of mathematica...
204
click to vote
NOSSDAV
2004
Springer
16 years 4 days ago
2004
Springer
We propose an energy-aware video streaming system for portable computing devices, in which the video can be played back for the specified duration within the remaining battery am...
186
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
153
Voted
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Internet and the World Wide Web have enabled a publishing explosion of useful online information, which has produced the unfortunate side effect of information overload: it is...
216
click to vote
AISADM
2005
Springer
16 years 10 days ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...