2373 search results - page 255 / 475 » The Design of the Zinc Modelling Language |
153
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
In the ITEA2 Do-It-Yourself Smart Experiences project (DIY-SE), we are required to design an ontology-based ambient computing environment to support users to DIY their personalized...
188
click to vote
HASKELL
2006
ACM
16 years 16 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
160
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
166
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
180
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...