12551 search results - page 2304 / 2511 » Reuse in Systems Engineering |
117
click to vote
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 ...
109
click to vote
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 . . . . . . . . . . . . ....
115
click to vote
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...
135
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
119
click to vote
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
Hermes is an optimization engine for large-scale enterprise e-mail services. Such services could be hosted by a virtualized e-mail service provider, or by dedicated enterprise dat...