1664 search results - page 98 / 333 » Testing in the Component Age |
132
Voted
ERCIMDL
2006
Springer
15 years 7 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...
137
Voted
REX
1991
15 years 7 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...
119
Voted
IJCAI
2007
15 years 5 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...
178
Voted
WAW
2010
Springer
15 years 1 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...
97
Voted
CCGRID
2006
IEEE
15 years 9 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...