158 search results - page 22 / 32 » Change in Abstract Argumentation Frameworks: Adding an Argum... |
ICALP
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
ML
2008
ACM
13 years 7 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
MM
2004
ACM
14 years 25 days ago
2004
ACM
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...