851 search results - page 157 / 171 » Associative definition of programming languages |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants...
CP
2007
Springer
14 years 1 months ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
UM
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...