1615 search results - page 299 / 323 » Adaptive programming in JAsCo |
ICSOC
2004
Springer
14 years 28 days ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
ICWE
2004
Springer
14 years 28 days ago
2004
Springer
In this paper we would like to present and describe SIE, a transparent, intelligent Web proxy framework. Its aim is to provide efficient and robust platform for implementing vari...
IFIP
2004
Springer
14 years 28 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
KES
2004
Springer
14 years 28 days ago
2004
Springer
The goal of the GecGo middleware is to provide all the services required by self-organizing distributed applications running on multihop ad-hoc networks. Because of the frequent as...
KI
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...