4190 search results - page 448 / 838 » Implementing commitment-based interactions |
156
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
139
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
138
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
This paper describes the design and implementation of an XML storage manager for fast and interactive XPath expressions evaluation. This storage manager has two main parts: the XML...
135
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
149
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
The increase in computational power and the networking abilities of home appliances are revolutionizing the way we interact with our homes. This trend is growing stronger and open...