3218 search results - page 425 / 644 » Timed Extensions for SDL |
163
click to vote
SAFECOMP
2007
Springer
16 years 17 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
159
click to vote
SOFSEM
2007
Springer
16 years 17 days ago
2007
Springer
In the research area of automatic web information extraction, there is a need for permanent and annotated web page collections enabling objective performance evaluation of differen...
194
click to vote
SSD
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Mobile devices are increasingly being equipped with wireless peerto-peer (P2P) networking interfaces, rendering the sharing of data among mobile devices feasible and bene...
155
click to vote
WAIM
2007
Springer
16 years 17 days ago
2007
Springer
The constructions of Haar wavelet synopses for large data sets have proven to be useful tools for data approximation. Recently, research on constructing wavelet synopses with a gua...
148
click to vote
WEA
2007
Springer
16 years 17 days ago
2007
Springer
The parametric maximum flow problem is an extension of the classical maximum flow problem in which the capacities of certain arcs are not fixed but are functions of a single par...