Search Sciweavers | Sciweavers

7986 search results - page 17 / 1598

» Computational Science and its Applications

click to vote

SP
2009
IEEE

155views Security Privacy» more SP 2009»

A Logic of Secure Systems and its Application to Trusted Computing

15 years 4 months ago

Download www.cs.cmu.edu

We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...

Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...

claim paper

Read More »

Voted

IJCAI
1989

105views Artificial Intelligence» more IJCAI 1989»

A Computational Framework for Granularity and its Application to Educational Diagnosis

14 years 11 months ago

Download ijcai.org

Many artificial intelligence systems implicitly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hob...

Jim E. Greer, Gordon I. McCalla

claim paper

Read More »

click to vote

CONTEXT
2003
Springer

127views Modeling and Simulation» more CONTEXT 2003»

GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision

15 years 2 months ago

Download people.csail.mit.edu

We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suﬀe...

Paul Robertson, Robert Laddaga

claim paper

Read More »

click to vote

PDPTA
2003

84views Distributed And Parallel Com...» more PDPTA 2003»

Synchronization in a Thread-Pool Model and its Application in Parallel Computing

14 years 11 months ago