12637 search results - page 156 / 2528 » Security for Extensible Systems |
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
DLOG
2003
13 years 10 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
CN
1998
13 years 8 months ago
1998
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...
CC
2009
Springer
14 years 9 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
This paper describes an extension to a multimodal system designed to improve Internet accessibility for the visually impaired. Here we discuss the novel application of a grid (pat...