9267 search results - page 20 / 1854 » Expectation-Oriented Analysis and Design |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
RIAO
2007
13 years 9 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
IASTEDSE
2004
13 years 9 months ago
2004
In this paper we argue that the explicit capture of crosscutting concerns in code should be the natural consequence of good and clean modularity in analysis and design, based on f...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
A novel design for vortex modulation of a passive chaotic micromixer, named a circulation-disturbance micromixer (CDM), has been achieved and analyzed experimentally and numericall...
PAMI
2007
13 years 7 months ago
2007
—Wide field of view (FOV) and high-resolution image acquisition is highly desirable in many vision-based applications. Several systems have reported the use of reflections off mi...