225 search results - page 7 / 45 » Defining new argumentation-based semantics by minimal models |
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
ICRA
2002
IEEE
14 years 12 days ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...