3154 search results - page 581 / 631 » An annotation based approach to support design communication |
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
— The ability to identify protein binding sites and to detect specific amino acid residues that contribute to the specificity and affinity of protein interactions has importan...
ISCA
2006
IEEE
15 years 3 months ago
2006
IEEE
Transactional Memory (TM), Thread-Level Speculation (TLS), and Checkpointed multiprocessors are three popular architectural techniques based on the execution of multiple, cooperat...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...