249 search results - page 10 / 50 » Validating Architectural Feature Descriptions using LOTOS |
97
Voted
BCS
2008
14 years 11 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
78
Voted
FMOODS
2006
14 years 11 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
AR
1998
14 years 9 months ago
1998
In this paper, we propose an architecture for a cognitive robot based on tactile and visual information. Visual information contains various features such as location and area of ...
72
Voted
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider camera self-calibration, i.e. the estimation of parameters for camera sensors, in the setting of a visual sensor network where the sensors are distributed and energy-c...
DT
2000
14 years 9 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...