1992 search results - page 48 / 399 » Model Based Testing with Labelled Transition Systems |
134
click to vote
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...
109
click to vote
IANDC
2006
15 years 2 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
111
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The paper presents the framework of a special session that aims at investigating the best possible techniques for multimodal emotion recognition and expressivity analysis in human...
137
Voted
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
124
click to vote
ESEM
2007
ACM
15 years 4 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...