3555 search results - page 218 / 711 » Security-Critical System Development with Extended Use Cases |
113
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
137
click to vote
CISST
2003
15 years 5 months ago
2003
In earlier work, we developed a fast method for 2-D shape retrieval based on point correspondences of silhouette contours. That method did not assume that the database shapes had ...
110
click to vote
JCB
2000
15 years 4 months ago
2000
A previously developed algorithmic method for identifying a geometric invariant of protein structures, termed geometrical core, is extended to the and 1 domains of immunoglobulin ...
124
click to vote
WSC
1997
15 years 5 months ago
1997
This paper describes the methodology of a finite capacity scheduling system which uses an objectoriented discrete event simulation as its engine. The scheduling system is develop...
119
click to vote
TSP
2008
15 years 4 months ago
2008
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...