10275 search results - page 46 / 2055 » Case Studies of Autonomy |
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
SAFECOMP
2005
Springer
15 years 5 months ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
100
click to vote
EUROSPI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
118
click to vote
HUC
2004
Springer
15 years 5 months ago
2004
Springer
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
173
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Researchers have cogently presented the technical case for converged telecommunications systems. However, it is not clear how market-based telecommunications providers are embraci...