Results 31 to 40 of about 14,345,702 (255)

Generalised verification of the observer property in discrete event systems [PDF]

, 2012
The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N., da Cunha, A. E. C., Malik, Robi, Cury, José E. R., Bravo, H. J.   +4 more
core   +1 more source

A classification of emerging and traditional grid systems [PDF]

, 2008
The grid has evolved in numerous distinct phases. It started in the early ’90s as a model of metacomputing in which supercomputers share resources; subsequently, researchers added the ability to share data.
Li, M, Kurdi, H, Al-Raweshidy, H
core   +5 more sources

Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]

, 2012
This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core   +1 more source

Drivers of global irrigation expansion: the role of discrete global grid choice [PDF]

Hydrology and Earth System Sciences
Global statistical irrigation modeling relies on geospatial data and traditionally adopts a discrete global grid based on longitude–latitude reference. However, this system introduces area distortion, which may lead to biased results.
S. Wagner, F. Stenzel, F. Stenzel, T. Krueger, J. de Wiljes, J. de Wiljes   +5 more
doaj   +1 more source

Encoding Conversion Algorithm of Quaternary Triangular Mesh

ISPRS International Journal of Geo-Information, 2021
In the process of global information construction, different fields have built their own discrete global grid systems (DGGS). With the development of big data technology, data exchange, integration, and update have gradually become a trend, as well as ...
Yihang Chen, Zening Cao, Jinxin Wang, Yan Shi, Zilong Qin   +4 more
doaj   +1 more source

The Study on Error Analysis of Discretization Area in Discrete Global Grid System

Procedia Environmental Sciences, 2011
AbstractThe research of area calculation error is the base of discretization of area in discrete global grid system. The error source of discretization of area was analysed and a calculation experiment was designed to calculation the errors of discretization of area. The true area and discretization area were calculated.
Tao, Ming, Wen, Yuan, Xiong, Peng Guang, Su, Li, Zhangang, Wang   +4 more
openaire   +1 more source

Grid-based semantic integration of heterogeneous data resources: Implementation on a HealthGrid [PDF]

, 2007
This thesis was submitted for the degree of Doctor of Philosophy and was awarded by Brunel University.The semantic integration of geographically distributed and heterogeneous data resources still remains a key challenge in Grid infrastructures. Today's
Naseer, Aisha
core   +7 more sources

The Expression of Discretization Line and Error Analysis in Discrete Global Grid System

Procedia Environmental Sciences, 2011
AbstractThe discretization error of line in discrete global grid system is a major factor which affect the precision of discretization line and accuracy of the result of the spatial analysis. The error source of discretization of line were analysed firstly in this article.
Tao, Ming, Wen, Yuan, Su, Li, Xiong, Peng Guang   +3 more
openaire   +1 more source

Agent-Based Virtual Organisations for the Grid [PDF]

, 2005
The ability to create reliable, scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing.
Michael Luck, Fiddian, N. J., Simon Thompson, Preece, Alun, Preece, A., W. T. Luke Teacy, Luck, Michael; id_orcid, Jigar Patel Luke, Nir Oren, Chalmers, S, Peter M. D. Gray, Patrick J. Stockreisser, Patel, Jigar, Jennings, NR, Gray, Peter M. D., Teacy, WTL, Preece, Alun David, Gray, PMD, Stockreisser, PJ, Gray, William Alexander, Nick J Fiddian, Gray, W. Alex, Chalmers, Stuart, W T Luke Teacy, Teacy, W. T. Luke, Stockreisser, Patrick J., Stockreisser, Patrick Jean, Shao, J, Gray, W. A., Nicholas R. Jennings, Jennings, Nicholas R., Chalmers, S., Oren, N, Thompson, Simon, Shao, J., Luck, M., Stockreisser, P. J., Shercliff, G., Stockreisser, P.J., Nick J. Fiddian, Gray, W.A., Fiddian, N.J., Fiddian, Nicholas John, Luck, M, Nicholas R Jennings, Preece, A, Luck, Michael, Jennings, N. R., Teacy, W.T.L., Shercliff, Gareth, Stuart Chalmers, W Alex Gray, Norman, Timothy, Jianhua Shao, Fiddian, Nick J., Patrick J Stockreisser, Patel, J, Shao, Jianhua, Norman, Timothy J., Patel, J., Thompson, S., Gareth Shercliff, Jigar Patel, Norman, TJ, Gray, P.M.D., Fiddian, NJ, Alun Preece, Shercliff, G, W. Alex Gray, Thompson, S, Timothy J. Norman, Gray, WA, Oren, Nir, Oren, N.   +73 more
core   +1 more source

Discrete Global Grid Systems nuovo sistema di riferimento mondiale adottato da Open Geospatial Consortium

GEOmedia, 2018
The Open Geospatial Consortium (OGC) announced the adoption of the new Discrete Global Grid System (DGGS) standard, which aimed to report geospatial information on earth, in a different way.
Renzo Carlucci
doaj   +3 more sources