233 search results - page 16 / 47 » The Behavior Markup Language: Recent Developments and Challe... |
AIME
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
140
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
121
click to vote
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
103
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...