636 search results - page 105 / 128 » Adapting Logics |
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
102
click to vote
CEFP
2005
Springer
15 years 5 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
FSKD
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we propose and evaluate a novel recognition algorithm for container identifiers that effectively overcomes these difficulties and recognizes identifiers from contain...
ICSOC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. New generation network services must be deployed and managed according to the specific customer requirements. In this context, service providers must devise a way to des...
ISPA
2005
Springer
15 years 5 months ago
2005
Springer
Grid technologies are becoming more and more mature in recent years. In contrast to this trend, the resource measurement landscape in Grids looks rather dismal. As part of ChinaGri...