9405 search results - page 1130 / 1881 » Computing a Model of Set Theory |
246
click to vote
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
A distributed system for approximate query answering on sensor network data is proposed, where a suitable compression technique is exploited to represent data and support query an...
165
click to vote
RTA
2005
Springer
16 years 29 days ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
218
click to vote
TLCA
2005
Springer
16 years 29 days ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
185
click to vote
ICCS
2003
Springer
16 years 21 days ago
2003
Springer
Application portals, or Problem Solving Environments (PSEs), provide user environments that simplify access and integrate various distributed computational services for scientists ...
212
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...