15253 search results - page 2801 / 3051 » Integer-Programming Software Systems |
114
Voted
ER
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
127
Voted
ESAW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
114
Voted
FOSSACS
2003
Springer
15 years 9 months 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 ...
102
Voted
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
109
Voted
FOSSACS
2003
Springer
15 years 9 months 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...