8132 search results - page 1358 / 1627 » Dependability, Abstraction, and Programming |
200
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
182
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because middleware abstractions remove the need for lowlevel network programming, modern distributed component systems expose network volatility (i.e., frequent but inter...
156
click to vote
SIGUCCS
2009
ACM
16 years 1 months ago
2009
ACM
Conference Abstracts October 11-14, 2009 t provides the abstracts and the author(s)’ name(s) for the technical program. The actual presenter(s) may vary. Updated September 20, 20...
199
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
199
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...