2688 search results - page 403 / 538 » A formal semantics for P3P |
198
click to vote
LICS
2006
IEEE
16 years 15 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...
173
click to vote
WCRE
2006
IEEE
16 years 15 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...
151
click to vote
CONEXT
2006
ACM
16 years 14 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...
179
click to vote
SACMAT
2006
ACM
16 years 13 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...
136
click to vote
QSIC
2005
IEEE
16 years 2 days 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 ...