1709 search results - page 105 / 342 » Precise Modeling of Design Patterns |
107
click to vote
WACV
2007
IEEE
15 years 7 months ago
2007
IEEE
Facial feature localization is an important research area in both computer vision and pattern analysis. We present in this paper a hierarchical face model. It unifies both the gl...
98
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
124
Voted
TCAD
1998
15 years 10 days ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
96
Voted
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...