5622 search results - page 117 / 1125 » Solving architectural modelling problems using knowledge |
194
click to vote
TABLEAUX
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
154
click to vote
AAAI
1997
15 years 7 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
273
click to vote
WAE
2001
15 years 7 months ago
2001
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
184
click to vote
UM
2007
Springer
16 years 13 days ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...
162
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
To solve the congestion problem, network nodes at near the zombies need to filter the attack traffic. But the amounts of attack packets are small at upstream node and it is hard t...