3830 search results - page 95 / 766 » From Reference Model to Component Model |
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
116
click to vote
FM
2006
Springer
15 years 4 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
109
click to vote
BPM
2005
Springer
15 years 6 months ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
106
Voted
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, based on the concept of the Tapped Delay Line (TDL) structure, we first propose a new wideband multiple-ring Multiple Input Multiple Output (MIMO) channel reference ...
115
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper presents a novel statistical shape model that can be used to detect and localise feature points of a class of objects in images. The shape model is inspired from the 3D...