Search Sciweavers | Sciweavers

2416 search results - page 37 / 484

» The Language of Cortical Dynamics

click to vote

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

EON: modeling and analyzing dynamic access control systems with logic programs

13 years 9 months ago

Download www.cs.umd.edu

We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...

claim paper

Read More »

click to vote

ESOP
1992
Springer

81views Programming Languages» more ESOP 1992»

Dynamic Typing

13 years 11 months ago

Download research.microsoft.com

Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...

Fritz Henglein

claim paper

Read More »

click to vote

UM
2005
Springer

83views Programming Languages» more UM 2005»

A Comparison of HMMs and Dynamic Bayesian Networks for Recognizing Office Activities

14 years 1 months ago