3179 search results - page 172 / 636 » Applications of PCF Theory |
CONCUR
2009
Springer
13 years 8 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
HCI
2009
13 years 8 months ago
2009
Virtual communities that make use of social network site features blend known applications of virtual communities. These communities can be simultaneously social and commercial, or...
ICDM
2009
IEEE
13 years 8 months ago
2009
IEEE
Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...
ICDM
2009
IEEE
13 years 8 months ago
2009
IEEE
The design of a good kernel is fundamental for knowledge discovery from graph-structured data. Existing graph kernels exploit only limited information about the graph structures bu...
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...