5622 search results - page 97 / 1125 » Solving architectural modelling problems using knowledge |
180
click to vote
SAC
2006
ACM
16 years 7 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
173
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
188
click to vote
COMPULOG
1999
Springer
15 years 10 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...
164
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
197
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...