9443 search results - page 1590 / 1889 » Web-centric language models |
151
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich specification language...
207
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...
185
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
167
Voted
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
167
Voted
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...