306 search results - page 43 / 62 » Dynamic Software Updates: The State Mapping Problem |
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
MOBIDE
2003
ACM
14 years 18 days ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
ICSR
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...
ESOP
2010
Springer
14 years 14 days ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
Given a spatial crime data warehouse, that is updated infrequently and a set of operations O as well as constraints of storage and update overheads, the index type selection probl...