379 search results - page 46 / 76 » The AGEDIS Tools for Model Based Testing |
153
click to vote
RSP
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
111
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Informal analysis of many usability tests suggests that there is regularly one participant that is substantially slower than all the others. Moreover, such outliers are more extre...
145
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
135
Voted
ITS
2000
Springer
15 years 7 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
95
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The cellular industry all over the world has been witnessing very high growth rates in subscriber base in recent years. For developing countries in particular, cellular services a...