53 search results - page 2 / 11 » Conditions for Interoperability |
ENVSOFT
2006
13 years 10 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
ENTCS
2007
13 years 10 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
EAGC
2003
Springer
14 years 4 months ago
2003
Springer
A preliminary study of the issues surrounding a seach engine for Grid environments, GRISEN, that would enable the provision of a variety of Grid information services, such as loca...
CLIMA
2008
14 years 6 days ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...