6701 search results - page 330 / 1341 » Medical Embedded Systems |
117
Voted
CASES
2004
ACM
16 years 5 days ago
2004
ACM
174
click to vote
SFM
2004
Springer
16 years 2 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...
171
click to vote
ICFP
2008
ACM
16 years 6 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...