4047 search results - page 492 / 810 » Algebraic Model Checking |
200
click to vote
JGO
2011
14 years 9 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
237
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
175
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
179
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
206
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...