13784 search results - page 2047 / 2757 » On Computing Functions with Uncertainty |
239
click to vote
WCFLP
2005
ACM
16 years 1 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
192
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
194
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
188
click to vote
BTW
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Clustering has become an increasingly important task in modern application domains. In many areas, e.g. when clustering complex objects, in distributed clustering, or whe...
224
click to vote
CASSIS
2005
Springer
16 years 1 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...