4870 search results - page 192 / 974 » Construction of Wavelets and Applications |
156
click to vote
CALCO
2007
Springer
16 years 22 days ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
150
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
Distributed programming has shifted from private networks to the Internet using heterogeneous Web APIs. This enables the creation of situational applications of composed services ...
175
click to vote
ERLANG
2006
ACM
16 years 15 days ago
2006
ACM
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...
159
click to vote
ICAC
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
157
click to vote
SRDS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...