3634 search results - page 640 / 727 » The Field Representation Language |
170
click to vote
EUROMICRO
2005
IEEE
16 years 11 days 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...
173
click to vote
FDL
2005
IEEE
16 years 11 days 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...
180
click to vote
ICIP
2005
IEEE
16 years 11 days 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...
194
click to vote
KBSE
2005
IEEE
16 years 10 days 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...
137
Voted
SIGDOC
2005
ACM
16 years 9 days 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...