738 search results - page 74 / 148 » Semantic parameterization: A process for modeling domain des... |
186
click to vote
ADAEUROPE
2005
Springer
15 years 11 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
173
click to vote
ITIIS
2008
15 years 4 months ago
2008
To facilitate the processes of e-learning resource description, discovery and reuse, e-learning objects should be appropriately described and classified using standard metadata th...
156
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
180
click to vote
CIIA
2009
15 years 7 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
173
click to vote
GISCIENCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...