3429 search results - page 371 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
137
Voted
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
265
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
167
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
162
click to vote
AGS
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
107
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...