2416 search results - page 334 / 484 » The Language of Cortical Dynamics |
141
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
164
click to vote
RWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
187
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
147
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
181
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...