2373 search results - page 53 / 475 » The Design of the Zinc Modelling Language |
125
click to vote
ICMAS
1998
15 years 2 months ago
1998
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
109
click to vote
MOZ
2004
Springer
15 years 6 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
FPLAY
2008
15 years 3 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
EUROMICRO
1998
IEEE
15 years 5 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
208
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...