6 search results - page 1 / 2 » sfm 2004 |
SFM
2004
Springer
13 years 11 months ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
SFM
2004
Springer
13 years 11 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
SFM
2004
Springer
13 years 11 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
SFM
2004
Springer
13 years 11 months ago
2004
Springer
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
ICPR
2004
IEEE
14 years 6 months ago
2004
IEEE
In this paper, we propose a method for recovering the reflectance properties of a moving Lambertian object from an image sequence of the object taken by a fixed camera under unkno...