4693 search results - page 724 / 939 » Verifying Hybrid Systems |
158
click to vote
ECIR
2008
Springer
15 years 7 months ago
2008
Springer
More and more documents on the World Wide Web are based on templates. On a technical level this causes those documents to have a quite similar source code and DOM tree structure. G...
164
click to vote
DEBU
2008
15 years 6 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
180
click to vote
TON
2008
15 years 5 months ago
2008
We study the effectiveness of automatic patching and quantify the speed of patch or alert dissemination required for worm containment. We focus on random scanning as this is repres...
159
click to vote
ALGORITHMICA
2004
15 years 5 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
238
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...