2043 search results - page 226 / 409 » Reasoning About Security Models |
140
click to vote
EMSOFT
2003
Springer
15 years 11 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...
180
click to vote
AAAI
2008
15 years 8 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
168
click to vote
ICWSM
2010
15 years 7 months ago
2010
The spread of influence among individuals in a social network can be naturally modeled in a probabilistic framework, but it is challenging to reason about differences between vari...
160
click to vote
ICDM
2007
IEEE
16 years 3 days ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...
137
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...