2947 search results - page 555 / 590 » Analyzing Program Analyses |
82
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
115
Voted
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
WWW
2006
ACM
15 years 11 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
85
Voted
WWW
2004
ACM
15 years 11 months ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
MOBIHOC
2009
ACM
15 years 11 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...