Sciweavers

53 search results - page 2 / 11
» Conditions for Interoperability
Sort
View
ENVSOFT
2006
117views more  ENVSOFT 2006»
13 years 10 months ago
Land information system: An interoperable framework for high resolution land surface modeling
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...
Sujay V. Kumar, Christa D. Peters-Lidard, Yudong T...
ENTCS
2007
107views more  ENTCS 2007»
13 years 10 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
14 years 5 months ago
Framework for Establishing Enterprise Modeling in the Context of Collaborative Enterprises
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...
Thomas Knothe, Timo Kahl, Dieter Boell, Kristof Sc...
EAGC
2003
Springer
14 years 4 months ago
Search Engines for the Grid: A Research Agenda
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...
Marios D. Dikaiakos, Yannis E. Ioannidis, Rizos Sa...
CLIMA
2008
14 years 6 days ago
Verifying Agents' Conformance with Multiparty Protocols
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,...
Laura Giordano, Alberto Martelli