Sciweavers

9425 search results - page 1844 / 1885
» Some Notes on Models and Modelling
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
13 years 7 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
CSSC
2008
110views more  CSSC 2008»
13 years 7 months ago
Bayesian False Discovery Rate Wavelet Shrinkage: Theory and Applications
The interest in inference in the wavelet domain remains vibrant area of statistical research because of needs of scientific community to process and explore massive data sets. Prim...
Ilya Lavrik, Yoon Young Jung, Fabrizio Ruggeri, Br...
ALIFE
2006
13 years 7 months ago
Picture This: The State of the Art in Visualization for Complex Adaptive Systems
Visualization has an increasingly important role to play in scientific research. Moreover, visualization has a special role to play within artificial life as a result of the inform...
Seth Bullock, Tom Smith, Jon Bird
AMAI
2006
Springer
13 years 7 months ago
An algebraic framework for temporal attribute characteristics
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
Michael H. Böhlen, Johann Gamper, Christian S...
FGCS
2008
140views more  FGCS 2008»
13 years 7 months ago
Allocation strategies for utilization of space-shared resources in Bag of Tasks grids
As the adoption of grid computing in organizations expands, the need for wise utilization of different types of resources also increases. A volatile resource, such as a desktop co...
César A. F. De Rose, Tiago C. Ferreto, Rodr...
« Prev « First page 1844 / 1885 Last » Next »