2165 search results - page 188 / 433 » cases 2005 |
109
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
A challenging question is how XML can be used to support distributed databases. This leads to the problem of how to obtain a suitable, cost-efficient distribution design for XML do...
130
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
142
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
132
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
109
click to vote
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
The concept of responsibility aims at making a computing system trustworthy for its users despite the fact that failures of IT systems cannot be completely excluded. The presented ...