2153 search results - page 352 / 431 » From Requirements Models to Formal Specifications in B |
159
click to vote
AUSDM
2007
Springer
16 years 11 days ago
2007
Springer
Time series data poses a significant variation to the traditional segmentation techniques of data mining because the observation is derived from multiple instances of the same und...
218
click to vote
TEC
2010
15 years 27 days ago
2010
In the real world, many optimization problems are dynamic. This requires an optimization algorithm to not only find the global optimal solution under a specific environment but als...
158
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...
191
click to vote
DEBU
2002
15 years 6 months ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
253
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
For Web applications in which the database component is the bottleneck, scalability can be provided by a third-party Database Scalability Service Provider (DSSP) that caches appli...