696 search results - page 101 / 140 » Explaining abstract counterexamples |
102
Voted
ACSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
110
click to vote
WACC
1999
ACM
15 years 7 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
118
click to vote
CSL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
105
click to vote
HUC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Many electric appliances have recently become network reachable, and we would receive better services from them if we could use them in combination. We have therefore dev...
133
Voted
KI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...