16725 search results - page 2641 / 3345 » Engineering Software Correctness |
192
click to vote
WINE
2007
Springer
16 years 1 months ago
2007
Springer
The choice of a bidding language is crucial in auction design in order to correctly capture bidder utilities. We propose a new bidding model for the Adwords auctions of search eng...
234
click to vote
SP
2006
IEEE
16 years 1 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
200
Voted
ICEBE
2005
IEEE
16 years 27 days ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
207
click to vote
ISQED
2005
IEEE
16 years 26 days ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
170
click to vote
CHARME
2005
Springer
16 years 25 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...