22698 search results - page 3847 / 4540 » Modeling in Software Engineering |
162
click to vote
EMSOFT
2003
Springer
16 years 20 days ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
193
click to vote
FATES
2003
Springer
16 years 20 days ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
160
click to vote
FOSSACS
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
158
click to vote
FOSSACS
2003
Springer
16 years 20 days ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
166
click to vote
FSTTCS
2003
Springer
16 years 20 days 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...