19 search results - page 4 / 4 » A Type System for Client Progress in a Service-Oriented Calc... |
ECCE
2007
13 years 11 months ago
2007
: Decision Support Systems are proliferating rapidly in many areas of human endeavour including clinical medicine and psychology. While these are typically based on rulebased syste...
ENTCS
2008
13 years 7 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
EFDBS
2003
13 years 8 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...