4755 search results - page 474 / 951 » An Implementation Model for Collaborative Applications |
150
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
137
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
178
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
141
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
177
click to vote
SIAMSC
2008
15 years 5 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...