6 search results - page 1 / 2 » sfm 2004 |
74
Voted
SFM
2004
Springer
15 years 5 months ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
104
click to vote
SFM
2004
Springer
15 years 5 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
15 years 5 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...
81
Voted
SFM
2004
Springer
15 years 5 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...
104
click to vote
ICPR
2004
IEEE
16 years 1 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...