1664 search results - page 98 / 333 » Testing in the Component Age |
ERCIMDL
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In Nautical Archaeology, the study of components and objects creates a complex environment for scholars and researchers. Nautical archaeologists access, manipulate, study...
REX
1991
14 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
IJCAI
2007
13 years 11 months ago
2007
In this paper, a Multi-agent System (MAS) is presented for providing clinical decision support to healthcare practitioners in rural or remote areas of India for young infants or c...
WAW
2010
Springer
13 years 7 months ago
2010
Springer
Large scale real-world network data such as social and information networks are ubiquitous. The study of such social and information networks seeks to find patterns and explain th...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
A new multi-purpose LightWeight Grid system (LWG) is introduced, under the acronym CoBRA grid (Computational Basic Reprogrammable Adaptive grid). It provides the functionality gri...