1992 search results - page 216 / 399 » Model Based Testing with Labelled Transition Systems |
152
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
142
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
138
Voted
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
128
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
135
Voted
SERP
2003
15 years 5 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...