12774 search results - page 2238 / 2555 » A Framework for Proof Systems |
194
click to vote
RTAS
2006
IEEE
16 years 25 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
163
click to vote
SKG
2006
IEEE
16 years 25 days ago
2006
IEEE
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...
173
click to vote
SKG
2006
IEEE
16 years 25 days ago
2006
IEEE
A semantic based approach for QoS driven service discovery is proposed to help clients select the currently best services matching their requests in a dynamic GGS (GIS Grid Servic...
174
click to vote
SKG
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
178
click to vote
VL
2006
IEEE
16 years 25 days ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...