789 search results - page 22 / 158 » On Theory Revision with Queries |
ICALP
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
BTW
2007
Springer
15 years 3 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
118
click to vote
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper explores the impact of Enterprise Resource Planning (ERP) systems using the individual manufacturing facility as the level of analysis. A model of ERP costs and benefit...
122
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...