4325 search results - page 586 / 865 » Incremental computation with names |
176
click to vote
GCB
2009
Springer
16 years 1 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...
148
click to vote
ICN
2009
Springer
16 years 1 months ago
2009
Springer
The established host-centric networking paradigm is challenged due to handicaps related with disconnected operation, mobility, and broken locator/identifier semantics. This paper...
165
click to vote
ICSOC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
166
click to vote
ISEUD
2009
Springer
16 years 1 months ago
2009
Springer
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
185
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...