2935 search results - page 517 / 587 » An Integrated Approach to High Integrity Software Verificati... |
146
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
147
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
105
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The ability of the Web to share data regardless of geographical location raises a new issue called remote authoring. With the Internet and Web browsers being independent of hardwa...
152
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
158
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...