2043 search results - page 366 / 409 » Reasoning About Security Models |
106
Voted
JCP
2008
15 years 15 days ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
92
Voted
STTT
2008
15 years 13 days ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
107
click to vote
TCS
2008
15 years 13 days ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
102
Voted
TKDE
2008
15 years 13 days ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...
CIB
2002
15 years 10 days ago
2002
The web log data embed much of web users' browsing behavior. From the web logs, one can discover patterns that predict the users' future requests based on their current b...