1890 search results - page 287 / 378 » Model-Based Testing in Practice |
146
click to vote
APN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
112
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
Power dissipation is quickly becoming one of the most important limiters in nanometer IC design for leakage increases exponentially as the technology scaling down. However, power ...
181
click to vote
ECAIW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Nominal and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express design intent, and, when types are associa...
140
click to vote
ESEM
2008
ACM
15 years 3 months ago
2008
ACM
Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...