12981 search results - page 377 / 2597 » Model Checking and Abstraction |
172
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
188
click to vote
FORMATS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
210
click to vote
AGENTCL
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...
168
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We introduce the notion of persistent authenticated dictionaries, that is, dictionaries where the user can make queries of the type “was element e in set S at time t?...
149
click to vote
ISCAS
1994
IEEE
15 years 11 months ago
1994
IEEE
Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...