Sciweavers

6201 search results - page 860 / 1241
» Implementation of Axiomatic Language
Sort
View
183
Voted
GCC
2003
Springer
16 years 2 days ago
Optimizing Java Based Web Services by Partial Evaluation
Recently, web service is growing more and more popular. Java is a representative language to implement web based services. But its platform independency slows its running speed. Pa...
Lin Lin, Linpeng Huang, Yongqiang Sun
GECCO
2003
Springer
111views Optimization» more  GECCO 2003»
16 years 2 days ago
Evolutionary Computing as a Tool for Grammar Development
Abstract. In this paper, an agent-based evolutionary computing technique is introduced, that is geared towards the automatic induction and optimization of grammars for natural lang...
Guy De Pauw
195
Voted
GPCE
2003
Springer
16 years 2 days ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
165
Voted
ICLP
2003
Springer
16 years 2 days ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...
150
Voted
IFIP
2003
Springer
16 years 2 days ago
On Demand Network Level Service Deployment in Ad Hoc Networks
Many network level services such as routing, auto-addressing and, security have been proposed for ad hoc networks. Each has characteristics that may cause it to outperform similar ...
Daniel Prince, Andrew Scott, W. D. Shepherd