6740 search results - page 1081 / 1348 » Using Classification as a Programming Language |
155
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
164
click to vote
WSC
2007
15 years 8 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
142
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
189
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
145
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...