440 search results - page 77 / 88 » Predicate Abstraction with Indexed Predicates |
106
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
100
click to vote
FOIKS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
113
click to vote
APAQS
2001
IEEE
15 years 1 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
89
Voted
CAEPIA
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
MABS
2000
Springer
15 years 1 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...