2685 search results - page 405 / 537 » A Formal Semantics for SPKI |
195
click to vote
LICS
2006
IEEE
16 years 11 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
168
click to vote
WCRE
2006
IEEE
16 years 10 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
148
click to vote
CONEXT
2006
ACM
16 years 9 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
175
click to vote
SACMAT
2006
ACM
16 years 9 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
133
click to vote
QSIC
2005
IEEE
15 years 12 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...