4636 search results - page 214 / 928 » Modelling and Validation with VipTool |
EWSA
2004
Springer
14 years 1 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
TLCA
2001
Springer
14 years 16 days ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
WSC
2008
13 years 10 months ago
2008
A tenure-track appointment is a wonderful thing, but it really should come with an instruction manual. This article is a loosely-coupled collection of thoughts and advice on survi...
LANMR
2004
13 years 9 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
WSC
2004
13 years 9 months ago
2004
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...