4250 search results - page 317 / 850 » Understanding the Requirements on Modelling Techniques |
152
click to vote
AIEDAM
2004
15 years 6 months ago
2004
Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating ...
153
click to vote
AICCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Several matching algorithms were recently developed in order to automate or semi-automate the process of correspondences discovery between XML schemas. These algorithms use a wide...
193
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
161
click to vote
ICPADS
1998
IEEE
15 years 11 months ago
1998
IEEE
1 Although widely used in distributed transactional systems, the so-called Two-Phase Commit (2PC) protocol introduces a substantial delay in transaction processing, even in the abs...
192
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...