Sciweavers

6941 search results - page 1128 / 1389
» Testing as a Certification Approach
Sort
View
ATAL
2008
Springer
15 years 7 months ago
Towards a reliable air traffic control
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
Minh Nguyen-Duc, Zahia Guessoum, Olivier Marin, Je...
150
Voted
ATAL
2008
Springer
15 years 7 months ago
Decentralized coordination of automated guided vehicles
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
David Herrero Pérez, Humberto Martín...
ATAL
2008
Springer
15 years 7 months ago
Using SOA Provenance to Implement Norm Enforcement in e-Institutions
In the last 10 years several approaches and technologies other than MAS (such as Web services and Grid computing) have emerged, with the support of the industry, providing their o...
Javier Vázquez-Salceda, Sergio Álvar...
CAISE
2008
Springer
15 years 7 months ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
CAISE
2008
Springer
15 years 7 months ago
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
Abstract. Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a ...
Dominic Müller, Manfred Reichert, Joachim Her...
« Prev « First page 1128 / 1389 Last » Next »