Search Sciweavers | Sciweavers

2106 search results - page 18 / 422

» Specifying C concepts

click to vote

CCS
2004
ACM

93views Security Privacy» more CCS 2004»

Lessons learned using alloy to formally specify MLS-PCA trusted security architecture

14 years 28 days ago

Download alloy.mit.edu

In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...

Brant Hashii

claim paper

Read More »

click to vote

VLDB
1993
ACM

112views Database» more VLDB 1993»

Specifying and Enforcing Intertask Dependencies

13 years 11 months ago

Download knoesis.wright.edu

Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...

Paul C. Attie, Munindar P. Singh, Amit P. Sheth, M...

claim paper

Read More »

click to vote

ASPLOS
2011
ACM

207views Programming Languages» more ASPLOS 2011»

Specifying and checking semantic atomicity for multithreaded programs

12 years 11 months ago

Download www.eecs.berkeley.edu

In practice, it is quite difﬁcult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...

Jacob Burnim, George C. Necula, Koushik Sen

claim paper

Read More »

click to vote

MSE
2000
IEEE

75views Hardware» more MSE 2000»

Web-based Multimedia Development Techniques for the Instruction of Abstract Concepts in Computer Science

13 years 12 months ago

Download bit.csc.lsu.edu

S. Sitharama Iyengar, Brian E. Pangburn, Robert C....

claim paper

Read More »