Search Sciweavers | Sciweavers

11561 search results - page 142 / 2313

» A Language for Biochemical Systems

156

click to vote

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

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

15 years 8 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 »

166

click to vote

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

Permission-based ownership: encapsulating state in higher-order typed languages

15 years 11 months ago

Download www.cs.cmu.edu

Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...

Neelakantan R. Krishnaswami, Jonathan Aldrich

claim paper

Read More »

136

click to vote

ACMSE
2005
ACM

92views Theoretical Computer Science» more ACMSE 2005»

BoxScript: a component-oriented language for teaching

15 years 11 months ago

Download www.cs.olemiss.edu

As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...

Yi Liu, H. Conrad Cunningham

claim paper

Read More »

130

click to vote

ICALP
2004
Springer

108views Programming Languages» more ICALP 2004»

On Randomization Versus Synchronization in Distributed Systems

15 years 11 months ago