469 search results - page 30 / 94 » Reasoning About Method Calls in Interface Specifications |
ICIW
2008
IEEE
14 years 3 months ago
2008
IEEE
—We previously proposed a meeting scheduling system based on mobile agent technology. The users of our system do not need to input all of their schedules unlike the existing grou...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
We present a method for efficiently performing deletions and updates of records when the records to be deleted or updated are chosen by a range scan on an index. The traditional m...
TASLP
2010
13 years 3 months ago
2010
In this paper, the issue of audio source separation from a single channel is addressed, i.e. the estimation of several source signals from a single observation of their mixture. Th...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...