3555 search results - page 186 / 711 » Security-Critical System Development with Extended Use Cases |
136
Voted
AISC
1994
Springer
15 years 8 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
123
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Maximum Likelihood estimation theory can be used to develop optimal timing recovery schemes for digital communication systems. Tunable digital interpolation filters are commonly ...
132
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Over the past several decades, psycholinguists have gained countless insights into the process of child language acquisition. Can these findings be used for the development of lang...
156
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
137
click to vote
SELMAS
2004
Springer
15 years 9 months ago
2004
Springer
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...