197 search results - page 6 / 40 » Capturing the essentials of federated systems |
181
click to vote
WWW
2003
ACM
15 years 11 months ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
156
click to vote
KSEM
2007
Springer
16 years 3 days ago
2007
Springer
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language...
143
click to vote
ET
1998
15 years 5 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
167
click to vote
NETWORKING
2007
15 years 7 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
152
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...