1782 search results - page 308 / 357 » Tool Support for Proof Engineering |
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
AIRWEB
2005
Springer
14 years 2 months ago
2005
Springer
Web spamming, the practice of introducing artificial text and links into web pages to affect the results of searches, has been recognized as a major problem for search engines. ...
BTW
2005
Springer
14 years 2 months ago
2005
Springer
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
ECLIPSE
2007
ACM
14 years 19 days ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...