297 search results - page 48 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
203
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
111
click to vote
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
112
click to vote
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
105
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
AI
2010
Springer
14 years 12 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...