780 search results - page 58 / 156 » Compositional Quantitative Reasoning |
121
click to vote
TSC
2010
14 years 11 months ago
2010
—The need for integration of all types of client and server applications that were not initially designed to interoperate is gaining popularity. One of the reasons for this popul...
86
Voted
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
93
Voted
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
118
Voted
FUIN
2010
14 years 10 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
88
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...