4894 search results - page 603 / 979 » Dynamic Abstraction Planning |
201
Voted
DSONLINE
2006
15 years 6 months ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
208
Voted
CORR
2002
Springer
15 years 6 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
191
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
188
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
279
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...