3429 search results - page 555 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
102
click to vote
IEAAIE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
124
Voted
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
134
Voted
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
129
click to vote
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
137
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...