Sciweavers

9698 search results - page 276 / 1940
» models 2010
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Can we predict safety culture?
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
Alexei Sharpanskykh, Sybert H. Stroeve
BPM
2010
Springer
155views Business» more  BPM 2010»
15 years 7 months ago
PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
Christoph Ringelstein, Steffen Staab
COMSIS
2010
15 years 4 months ago
Modeling and simulation of a spherical mobile robot
Spherical mobile robot (SMR) has been studied analytically and experimentally in this paper, a novel design with an internal propulsion mechanism and mathematical models of the rob...
Shengju Sang, Jichao Zhao, Hao Wu, Shoujun Chen, Q...
SE
2010
15 years 8 months ago
Multi-Level Test Models for Embedded Systems
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
Abel Marrero Pérez, Stefan Kaiser
FGCS
2010
91views more  FGCS 2010»
15 years 5 months ago
Real-time performance analysis for publish/subscribe systems
The publish/subscribe communication system have been popular communication model in many area. Especially, it is well suited for distributed real-time system in many ways. However,...
Sangyoon Oh, Jai-Hoon Kim, Geoffrey Fox