302 search results - page 47 / 61 » An approach to synthesise safe systems |
130
Voted
SASO
2007
IEEE
15 years 6 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
79
Voted
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
100
Voted
CASSIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
98
Voted
LREC
2010
15 years 1 months ago
2010
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
ETS
2000
IEEE
15 years 8 days ago
2000
IEEE
This paper outlines and discusses the pedagogical approach, the technical design architecture, and an innovative implementation of a collaborative role-play simulation technology ...