886 search results - page 116 / 178 » Generalized Bezout Identity |
FM
2003
Springer
14 years 2 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
GCB
2003
Springer
14 years 2 months ago
2003
Springer
The further development of analytical techniques based on gas chromatography and mass spectrometry now facilitate the generation of larger sets of metabolite concentration data. T...
PASTE
2010
ACM
14 years 2 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
APSEC
2002
IEEE
14 years 2 months ago
2002
IEEE
It is generally said that code clone is one of the factors to make software maintenance difficult. A code clone is a code portion in source files that is identical or similar to...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Although Customer-to-Customer (C2C) business model has been around for years, second-hand markets of digital contents over the Internet are unpopular. A key factor to the success ...