3634 search results - page 640 / 727 » The Field Representation Language |
119
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
121
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
137
Voted
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose a novel technique for modelbased recognition of complex object motion trajectories using Hidden Markov Models (HMM). We build our models on Principal Com...
140
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
86
Voted
SIGDOC
2005
ACM
15 years 9 months ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...