11561 search results - page 199 / 2313 » A Language for Biochemical Systems |
189
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
179
click to vote
ICTCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
157
click to vote
ACSC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
182
click to vote
FSTTCS
1999
Springer
15 years 11 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
191
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...