2043 search results - page 336 / 409 » Reasoning About Security Models |
106
click to vote
POPL
2010
ACM
15 years 24 days ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
95
Voted
AAMAS
2007
Springer
15 years 22 days ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
116
Voted
CORR
2008
Springer
15 years 21 days ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
ENTCS
2008
15 years 20 days ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
75
Voted
IJIM
2008
15 years 18 days ago
2008
Podcasts have been employed extensively in some countries and are now being trialed at a number of universities in Australia. They allow ubiquitous learning whereby students can ac...