129 search results - page 11 / 26 » PCAL: Language Support for Proof-Carrying Authorization Syst... |
ECAI
1998
Springer
13 years 12 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
DOCENG
2007
ACM
13 years 9 months ago
2007
ACM
HTML has popularized the use of style sheets, and the advent of XML has stressed the importance of style as a key area complementing document structure and content. A number of to...
INFSOF
2000
13 years 7 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
C5
2008
IEEE
14 years 2 months ago
2008
IEEE
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...
ERLANG
2003
ACM
14 years 27 days ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...