8658 search results - page 229 / 1732 » Models of Command and Control |
123
Voted
TCS
2010
15 years 1 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
115
Voted
SOCIALCOM
2010
15 years 15 days ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
109
Voted
JMLR
2010
14 years 9 months ago
2010
We have developed a machine learning toolbox, called SHOGUN, which is designed for unified large-scale learning for a broad range of feature types and learning settings. It offers...
128
Voted
JMLR
2010
14 years 9 months ago
2010
In general, imitation is imprecisely used to address different levels of social learning from high level knowledge transfer to low level regeneration of motor commands. However, t...
118
Voted
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...