1021 search results - page 189 / 205 » Concepts in Proof Planning |
179
click to vote
AOSD
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
198
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
168
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
Weighted threshold secret sharing was introduced by Shamir in his seminal work on secret sharing. In such settings, there is a set of users where each user is assigned a positive w...
181
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
Given a general graph G, a fundamental problem is to find a spanning tree H that best approximates G by some measure. Often this measure is some combination of the congestion and...
171
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...