12637 search results - page 2208 / 2528 » Security for Extensible Systems |
182
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
A WebView is a web page automatically created from base data typically stored in a DBMS. Given the multi-tiered architecture behind database-backed web servers, we have the option...
194
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...
188
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
196
click to vote
DSOM
2000
Springer
15 years 11 months ago
2000
Springer
In recent years, a significant amount of research work has addressed the use of code mobility in network management. In this paper, we introduce first three aspects of code mobilit...
200
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...