4890 search results - page 426 / 978 » From system specifications to component behavioral models |
194
click to vote
BC
2000
15 years 7 months ago
2000
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...
222
click to vote
CRYPTO
2007
Springer
15 years 11 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
182
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
238
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
207
click to vote
ESTIMEDIA
2003
Springer
16 years 9 days ago
2003
Springer
Current multimedia applications are characterized by highly dynamic and non-deterministic behavior as well as high-performance requirements. In addition, portable devices demand a...