2637 search results - page 52 / 528 » Tool Supported Specification and Simulation of Distributed S... |
134
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
118
Voted
WSC
1998
15 years 5 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
166
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
127
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Peer-to-peer networks consist of thousands or millions of nodes that might join and leave arbitrarily. The evaluation of new protocols in real environments is many times practical...
138
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...