1988 search results - page 352 / 398 » Engineering formal metatheory |
SAC
2008
ACM
14 years 11 months ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
IPL
2010
14 years 10 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
119
click to vote
SAB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
115
click to vote
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...