2520 search results - page 354 / 504 » Model-checking behavioral programs |
115
click to vote
GCB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
129
click to vote
SEAA
2008
IEEE
15 years 8 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
123
click to vote
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
134
click to vote
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
116
Voted
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Emotion recognition and adequate reactions are a crucial part of human communication and hence should also be considered for interactions between humans and robots. In this pap...