4737 search results - page 905 / 948 » The LOGIC negotiation model |
DAC
2007
ACM
16 years 26 days ago
2007
ACM
Negative bias temperature instability (NBTI) in MOSFETs is one of the major reliability challenges in nano-scale technology. This paper presents an efficient technique to characte...
102
click to vote
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
183
click to vote
ICDT
2009
ACM
16 years 17 days ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Researchers in Web engineering have regularly noted that existing Web application development environments provide little support for managing the evolution of Web applications. K...
100
click to vote
WWW
2003
ACM
16 years 16 days ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...