3971 search results - page 130 / 795 » On the Use of Properties in Java Applications |
134
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
140
Voted
APCSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
137
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
509
click to vote
ICA
2012
Springer
14 years 16 days ago
2012
Springer
In this contribution, new online EM algorithms are proposed to perform inference in general hidden Markov models. These algorithms update the parameter at some deterministic times ...
147
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...