41938 search results - page 540 / 8388 » Complex Systems Modeling |
216
click to vote
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
211
click to vote
DIGITEL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present progress with roBlocks, a reconfigurable modular robotic system for education. Children snap together small, magnetic, heterogeneous modules to create larger, more comp...
153
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
194
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Though toolkits exist to create complex crowdsourced workflows, there is limited support for management of those workflows. Managing crowd workers and tasks requires significant i...
222
click to vote
EAAI
2010
15 years 5 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...