771 search results - page 86 / 155 » Modelling and Analysing Socio-Technical Systems |
DAGSTUHL
2007
15 years 15 days ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
92
Voted
ASWEC
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we investigate the significance of contextual information in a phoneme recognition system using the hidden Markov model - artificial neural network paradigm. Cont...
101
click to vote
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
— This paper presents results of the application of simultaneous localisation and map building (SLAM) for an uninhibited aerial vehicle (UAV). Single vision camera and inertial m...
WDAG
1990
Springer
15 years 3 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...