4209 search results - page 113 / 842 » Abstract Dialectical Frameworks |
147
click to vote
INTERNET
2006
15 years 4 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
129
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...
168
click to vote
CALCO
2009
Springer
15 years 11 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 ...
162
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
164
click to vote
KBSE
2005
IEEE
15 years 10 months 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...