1813 search results - page 207 / 363 » Instance Pruning Techniques |
162
click to vote
ICTCS
2005
Springer
16 years 1 days ago
2005
Springer
We study the effect of laxity, or slack time, on the online scheduling of broadcasts with deadlines. The laxity of a request is defined to be the ratio between its span (differe...
131
click to vote
UML
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
211
click to vote
ACNS
2004
Springer
15 years 12 months ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
179
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
214
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ontologies are widely used for capturing and organizing knowledge of a particular domain of interest. This knowledge is usually evolvable and therefore an ontology mainte...