2517 search results - page 2 / 504 » Specifying Weak Sets |
DELTA
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents a technique that limits the maximum number of specified bits of any pattern in a given test set. The outlined method uses algorithms similar to ATPG, but explo...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
COMPGEOM
2000
ACM
13 years 9 months ago
2000
ACM
NCA
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
JSYML
2010
13 years 2 days ago
2010
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, grou...