Sciweavers

1215 search results - page 55 / 243
» Testing in the Distributed Test Architecture: An Extended Ab...
Sort
View
GISCIENCE
2004
Springer
159views GIS» more  GISCIENCE 2004»
15 years 11 months ago
The SPIRIT Spatial Search Engine: Architecture, Ontologies and Spatial Indexing
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...
Christopher B. Jones, Alia I. Abdelmoty, David Fin...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 9 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
JIRS
2000
133views more  JIRS 2000»
15 years 6 months ago
Managing Complexity in Large Learning Robotic Systems
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...
Kynan Eng, Alec P. Robertson, Deane R. Blackman
WETICE
2005
IEEE
15 years 11 months ago
Challenges and Solutions for Model Driven Web Service Composition
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
ASM
2005
ASM
15 years 11 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes