645 search results - page 56 / 129 » concurrency 2007 |
112
Voted
ICDCSW
2007
IEEE
15 years 6 months ago
2007
IEEE
- Groupware applications deal with propagation of changes to networked users, consistency maintenance on concurrent access, and provision of awareness. We have built a P2P groupwar...
94
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
93
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
115
click to vote
VISSYM
2007
15 years 2 months ago
2007
We present smooth formulations of common vortex detectors that allow a seamless integration into the concept of interactive visual analysis of flow simulation data. We express the...
90
Voted
ENTCS
2007
15 years 14 days ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...