10458 search results - page 1693 / 2092 » Modeling Features at Runtime |
121
Voted
COLT
2006
Springer
15 years 7 months ago
2006
Springer
U-shaped learning is a learning behaviour in which the learner first learns a given target behaviour, then unlearns it and finally relearns it. Such a behaviour, observed by psych...
135
click to vote
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...
158
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
149
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
170
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...