Sciweavers

1626 search results - page 62 / 326
» Computing the Types of the Relationships between Autonomous ...
Sort
View
AAAI
2006
13 years 10 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy
POPL
2008
ACM
14 years 9 months ago
Cryptographically sound implementations for typed information-flow security
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
Cédric Fournet, Tamara Rezk
ICFP
2005
ACM
14 years 8 months ago
An expressive language of signatures
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
Norman Ramsey, Kathleen Fisher, Paul Govereau
HICSS
2008
IEEE
317views Biometrics» more  HICSS 2008»
14 years 3 months ago
Trust in Online Shopping: The Korean Student Experience
E-commerce has become an important part of business. In South Korea, the market size of online shopping malls was 13,460 billion Korean Won in 2006, and this figure keeps growing....
Ji-Seok Yoo, Jae-Nam Lee, Julian Hoffmann
SAC
2008
ACM
13 years 8 months ago
Supporting self-organization for hybrid grid resource scheduling
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
Deger Cenk Erdil, Michael J. Lewis