2165 search results - page 188 / 433 » cases 2005 |
157
Voted
CAISE
2005
Springer
16 years 19 days 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...
186
click to vote
CAISE
2005
Springer
16 years 19 days 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...
193
click to vote
CALCO
2005
Springer
16 years 19 days 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...
179
Voted
CAV
2005
Springer
16 years 19 days 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...
151
click to vote
CBSE
2005
Springer
16 years 19 days 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 ...