3931 search results - page 568 / 787 » Separation logic and abstraction |
233
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
185
Voted
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
172
Voted
INFOCOM
2009
IEEE
16 years 1 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...
211
click to vote
ICCS
2009
Springer
16 years 1 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...
199
Voted
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...