1078 search results - page 120 / 216 » Modelling and Verifying of e-Commerce Systems |
164
click to vote
ENTCS
2007
15 years 4 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
147
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
A key step for the effective use of local image features (i.e., highly distinctive and robust features) for recognition or image matching is the appropriate grouping of feature ma...
145
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
163
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
182
click to vote
TAOSD
2010
15 years 2 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...