3342 search results - page 653 / 669 » Automating Abstract Interpretation |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
PPSWR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...