2685 search results - page 401 / 537 » A Formal Semantics for SPKI |
141
click to vote
SIGIR
2009
ACM
16 years 26 days ago
2009
ACM
Among the retrieval models that have been proposed in the last years, the ESA model of Gabrilovich and Markovitch received much attention. The authors report on a significant imp...
164
click to vote
IEEEIAS
2008
IEEE
16 years 23 days ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
162
click to vote
IJCNN
2008
IEEE
16 years 23 days ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
183
click to vote
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
162
click to vote
RTAS
2007
IEEE
16 years 19 days ago
2007
IEEE
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...