5699 search results - page 722 / 1140 » Alternating model trees |
216
click to vote
LOPSTR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
184
click to vote
ISCAS
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper, we have proposed a thermal aware routing based parameterization to generate a clock model that takes the stochastic temperature variation into consideration. The...
231
click to vote
ADC
2008
Springer
16 years 2 months ago
2008
Springer
This article describes how to implement efficient memory resident path indexes for semi-structured data. Two techniques are introduced, and they are shown to be significantly fas...
190
click to vote
AINA
2007
IEEE
16 years 2 months ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
223
click to vote
FBIT
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...