6941 search results - page 546 / 1389 » Testing as a Certification Approach |
204
click to vote
TACAS
2004
Springer
16 years 12 days ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
196
click to vote
NCA
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper addresses the problem of how to service web requests quickly in order to minimize the client response time. Some of the recent work uses the idea of the Shortest Remain...
193
click to vote
EDBT
2010
ACM
16 years 5 days ago
2010
ACM
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
198
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
In the eld of safety-critical real-time systems the development of distributed applications for fault tolerance reasons is a common practice. Hereby the whole application is divid...
259
click to vote
CDB
1997
Springer
15 years 11 months ago
1997
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...