10239 search results - page 1790 / 2048 » Postmodern Software Development |
117
click to vote
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
89
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
114
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
101
click to vote
ICCSA
2003
Springer
15 years 7 months ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
159
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...