3868 search results - page 248 / 774 » Open Systems in TLA |
213
click to vote
MAGS
2007
15 years 6 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
211
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
238
click to vote
ICMI
2010
Springer
15 years 5 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
245
click to vote
IGARSS
2009
15 years 5 months ago
2009
Scientific Workflows provides a technology that facilitates researchers by allowing them to capture in a machine processable manner the method relating to some research. This incr...
240
click to vote
SCL
2011
14 years 10 months ago
2011
The fact that the heat equation is controllable to zero in any bounded domain of the euclidean space, any time T > 0 and from any open subset of the boundary is well known. On ...