12115 search results - page 354 / 2423 » Bisimulation of Dynamical Systems |
169
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
154
click to vote
ENTCS
2002
15 years 6 months ago
2002
Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques ...
167
click to vote
IAJIT
2010
15 years 5 months ago
2010
: This paper presents a novel adaptive course composition system that based on mashing up learning content in a web application. The system includes three major components, static ...
173
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...