Sciweavers

2373 search results - page 68 / 475
» The Design of the Zinc Modelling Language
Sort
View
SAC
2006
ACM
15 years 1 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
ATAL
2005
Springer
15 years 7 months ago
A secure architectural description language for agent systems
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
Haralambos Mouratidis, Manuel Kolp, Stéphan...
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
15 years 6 months ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
ENTCS
2008
99views more  ENTCS 2008»
15 years 1 months ago
Visual Specification of Metrics for Domain Specific Visual Languages
We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of...
Esther Guerra, Paloma Díaz, Juan de Lara
ICSE
2010
IEEE-ACM
15 years 6 months ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta