15792 search results - page 3083 / 3159 » Computational Abstraction Steps |
137
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
160
Voted
ICN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
143
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
144
click to vote
ISAAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
117
Voted
ISPA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The viability of overlay multicasting has been established by prev ious research. However, in order to apply overlay multicast to Internet -scale distributed systems, suc...