23413 search results - page 4541 / 4683 » or 2005 |
223
Voted
VLDB
2005
ACM
16 years 15 days ago
2005
ACM
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...
206
Voted
VLSM
2005
Springer
16 years 15 days ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
188
Voted
VMCAI
2005
Springer
16 years 15 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
184
click to vote
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
249
Voted
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...