733 search results - page 47 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
137
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
140
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
125
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
125
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
111
click to vote
EJC
2003
15 years 5 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...