6701 search results - page 330 / 1341 » Medical Embedded Systems |
185
click to vote
SFM
2004
Springer
16 years 22 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
191
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...