14897 search results - page 2376 / 2980 » Environment for statistical computing |
255
click to vote
ATC
2007
Springer
16 years 1 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
198
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
In distributed work environments, where users are sharing and searching resources, ensuring an appropriate ranking at remote peers is a key problem. While this issue has been inves...
175
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
179
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
233
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...