1615 search results - page 299 / 323 » Adaptive programming in JAsCo |
152
click to vote
ICSOC
2004
Springer
15 years 8 months 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...
86
Voted
ICWE
2004
Springer
15 years 8 months 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...
165
Voted
IFIP
2004
Springer
15 years 8 months 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...
155
Voted
KES
2004
Springer
15 years 8 months 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...
119
Voted
KI
2004
Springer
15 years 8 months 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...