1573 search results - page 133 / 315 » Signs and Formal Concepts |
127
click to vote
SAS
2005
Springer
15 years 7 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
104
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
141
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
125
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
112
click to vote
DALT
2003
Springer
15 years 7 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...