4651 search results - page 38 / 931 » Data Reduction Using Multiple Models Integration |
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
AC
1999
Springer
15 years 1 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
132
Voted
TIP
2010
14 years 4 months ago
2010
The emergence of low-cost sensing architectures for diverse modalities has made it possible to deploy sensor networks that capture a single event from a large number of vantage po...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
Recently there is much need of discovering useful knowledge from massive log-data which are generated by Webbased information systems. Such log-data have multiple attributes about...
WSC
2007
14 years 12 months ago
2007
The Logistics Composite Model (LCOM) is a stochastic, discrete-event simulation that relies on probabilities and random number generators to model scenarios in a maintenance unit ...