Sciweavers

5671 search results - page 857 / 1135
» A Semantic Approach to Interpolation
Sort
View
ICSM
1996
IEEE
15 years 11 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
VLDB
1992
ACM
129views Database» more  VLDB 1992»
15 years 10 months ago
Extensible Buffer Management of Indexes
Most extensibledatabasesystemssupportaddition of new indexes or new data types. However, the referencepatterns exhibited by these new indexes may not be efficiently supportedby ex...
Chee Yong Chan, Beng Chin Ooi, Hongjun Lu
DOCENG
2007
ACM
15 years 10 months ago
XML version detection
The problem of version detection is critical in many important application scenarios, including software clone identification, Web page ranking, plagiarism detection, and peer-to-...
Deise de Brum Saccol, Nina Edelweiss, Renata de Ma...
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 10 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
EUROSYS
2007
ACM
15 years 10 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali