Sciweavers

929 search results - page 59 / 186
» Computer assistance for model definition
Sort
View
EFDBS
2003
14 years 11 months ago
Implementing Mediators through Virtual Updateable Views
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
PDP
2009
IEEE
15 years 4 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin
ECUMN
2007
Springer
15 years 4 months ago
Measuring and Profiling IP Traffic
Measurement of network traffic is a fundamental issue to manage the network itself. The highly selfsimilar nature of IP traffic makes its measurement and profiling a very complex ...
Nuno M. Garcia, Paulo P. Monteiro, Mário M....
TCS
2008
14 years 9 months ago
Solving NP-complete problems in the tile assembly model
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...
Yuriy Brun
AAAI
2010
14 years 11 months ago
Integrated Systems for Inducing Spatio-Temporal Process Models
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
Chunki Park, Will Bridewell, Pat Langley