2944 search results - page 254 / 589 » On Well Quasi-orders on Languages |
171
click to vote
ERLANG
2006
ACM
16 years 17 days ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
137
click to vote
AE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
158
click to vote
EPEW
2005
Springer
16 years 4 days ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
124
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
181
click to vote
STACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. It is well known that one-dimensional cellular automata working on the usual neighborhood are Turing complete, and many acceleration theorems are known. However very litt...