Sciweavers

493 search results - page 99 / 99
» Strategies and simulations in a semantic framework
Sort
View
CONTEXT
2005
Springer
13 years 11 months ago
Contextual Modals
In a series of recent articles Angelika Kratzer has argued that the standard account of modality along Kripkean lines is inadequate in order to represent context-dependent modals. ...
Horacio L. Arló-Costa, William Taysom
AI
2007
Springer
13 years 5 months ago
Computational properties of argument systems satisfying graph-theoretic constraints
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
Paul E. Dunne
JSW
2007
102views more  JSW 2007»
13 years 5 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale