4737 search results - page 905 / 948 » The LOGIC negotiation model |
134
Voted
DAC
2007
ACM
16 years 4 months 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...
139
Voted
SIGSOFT
2006
ACM
16 years 4 months 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...
214
Voted
ICDT
2009
ACM
16 years 4 months 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...
129
Voted
WWW
2004
ACM
16 years 4 months 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...
132
Voted
WWW
2003
ACM
16 years 4 months 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...