8781 search results - page 1276 / 1757 » Enterprise Model Integration |
199
click to vote
AIME
2005
Springer
16 years 13 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
159
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We define Trusted Kernel-based Coalition Formation as a novel extension to the traditional kernel-based coalition formation process which ensures agents choose the most reliable ...
220
click to vote
CBSE
2005
Springer
16 years 13 days ago
2005
Springer
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
171
click to vote
CHARME
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
169
click to vote
CONTEXT
2005
Springer
16 years 13 days ago
2005
Springer
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...