2373 search results - page 61 / 475 » The Design of the Zinc Modelling Language |
137
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
134
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
105
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
109
click to vote
EMISA
2002
Springer
15 years 1 months ago
2002
Springer
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...
122
click to vote
CHI
2005
ACM
15 years 3 months ago
2005
ACM
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...