2853 search results - page 245 / 571 » A Design System based on Architectural Representations |
154
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
177
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
151
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years several successful GALS realizations have been presented. The core of a GALS system is a locally synchronous island that is designed using industry standard synchr...
151
click to vote
COLING
2000
15 years 8 months ago
2000
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...