6201 search results - page 860 / 1241 » Implementation of Axiomatic Language |
183
Voted
GCC
2003
Springer
16 years 2 days ago
2003
Springer
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...
182
click to vote
GECCO
2003
Springer
16 years 2 days ago
2003
Springer
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...
195
Voted
GPCE
2003
Springer
16 years 2 days ago
2003
Springer
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 ...
165
Voted
ICLP
2003
Springer
16 years 2 days ago
2003
Springer
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...
150
Voted
IFIP
2003
Springer
16 years 2 days ago
2003
Springer
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 ...