1638 search results - page 202 / 328 » A General Semantics for Evaluation Logic |
171
click to vote
BMCBI
2005
15 years 6 months ago
2005
Computational Biology needs computer-readable information records. Increasingly, meta-analysed and pre-digested information is being used in the follow up of high throughput exper...
196
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
172
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
163
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
161
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...