1940 search results - page 196 / 388 » The Dynamic Logic of Permission |
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present Low Power Illinois scan architecture (LPILS) to achieve power dissipation and test data volume reduction, simultaneously. By using the proposed scan architecture, dynam...
189
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
179
click to vote
AI
2004
Springer
16 years 1 days ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
191
click to vote
WM
2003
15 years 8 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
155
click to vote
BMCBI
2007
15 years 6 months ago
2007
Many different approaches have been developed to model and simulate gene regulatory networks. We proposed the following categories for gene regulatory network models: network part...