837 search results - page 66 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
MLMTA
2003
13 years 10 months ago
2003
In this paper, we attempt to explain why rule-based syntactic analysis systems have not so far worked as well as they could. This will motivate our approach, which is based on a n...
FORMATS
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
CPHYSICS
2008
13 years 9 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
TITS
2008
13 years 9 months ago
2008
Abstract--This paper presents an efficient technique for estimating the pose of an onboard stereo vision system relative to the environment's dominant surface area, which is s...
SQJ
2008
13 years 9 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...