517 search results - page 96 / 104 » Using dynamic logic programming to model legal reasoning |
131
Voted
ADC
2009
Springer
15 years 10 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...
133
Voted
FSKD
2007
Springer
15 years 9 months ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
251
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
141
Voted
EVOW
2011
Springer
14 years 7 months ago
2011
Springer
This paper extends a previous model where we examined the markets’ microstructure dynamics by using Genetic Programming as a trading rule inference engine, and Self Organizing Ma...
110
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...