2558 search results - page 342 / 512 » Model Composition Contracts |
155
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
144
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
161
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— Neural networks have been proposed as an ideal cognitive modeling methodology to deal with the symbol grounding problem. More recently, such neural network approaches have been...
147
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
119
click to vote
CIBCB
2005
IEEE
15 years 10 months ago
2005
IEEE
— PTS1 proteins are peroxisomal matrix proteins that have a well conserved targeting motif at the C-terminal end. However, this motif is present in many non peroxisomal proteins ...