3812 search results - page 495 / 763 » Combinations of TRAP Based Systems |
191
click to vote
ENTCS
2010
15 years 6 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
169
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
160
click to vote
ETT
2006
15 years 6 months ago
2006
Abstract-- The benefit of hybrid mobile communication networks combining point-to-point and point-to-multipoint systems should be an optimized transfer of data for both providers a...
166
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
ABSTRACT. Schema matching is a crucial task to gather information of the same domain. However, this process is still largely performed manually or semi-automatically, discouraging ...
182
Voted
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...