310 search results - page 36 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
TCAD
2008
13 years 7 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
LREC
2010
13 years 9 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
FORTE
1996
13 years 9 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
IADIS
2008
13 years 9 months ago
2008
This paper presents Lecomps5, a web-based system for automated course personalization in distance learning environments. This system is an upgraded version of the Lecomps4 system,...