3458 search results - page 465 / 692 » Abstracting Control |
141
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
142
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
112
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Packet classification is a function increasingly used in a number of networking appliances and applications. Typically, sists of a set of abstract classifications, and a set o...
125
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. All search happens in a particular context—such as the particular collection of a digital library, its associated search tasks, and its associated users. Information re...
156
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...