1776 search results - page 188 / 356 » Using a Logic Programming Language with Persistence and Cont... |
168
Voted
CODASPY
2011
14 years 7 months ago
2011
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...
136
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
155
Voted
COORDINATION
2007
Springer
15 years 9 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
136
Voted
TCS
2008
15 years 3 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
144
Voted
ICLP
1993
Springer
15 years 7 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...