933 search results - page 157 / 187 » A Fully Automatic hp-Adaptivity |
125
click to vote
ADC
2009
Springer
15 years 11 months ago
2009
Springer
Due to the popularity of mobile devices, more and more commercial applications have been developed on these devices. While commercial applications are mostly backed by relational ...
149
click to vote
ECOWS
2009
Springer
15 years 11 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
121
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
159
click to vote
ICANNGA
2009
Springer
15 years 11 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
134
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...