4266 search results - page 533 / 854 » A Framework for Defining Logics |
250
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
183
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
205
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
186
click to vote
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
135
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...