1992 search results - page 116 / 399 » Model Based Testing with Labelled Transition Systems |
150
Voted
UM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
107
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
160
click to vote
GECCO
2011
Springer
14 years 6 months ago
2011
Springer
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...
160
click to vote
ACML
2009
Springer
15 years 8 months ago
2009
Springer
A fundamental assumption for any machine learning task is to have training and test data instances drawn from the same distribution while having a sufficiently large number of tra...
141
click to vote
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
16 years 4 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...