3809 search results - page 677 / 762 » Associative language descriptions |
166
click to vote
PROMAS
2007
Springer
16 years 13 days ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
184
click to vote
UM
2007
Springer
16 years 13 days 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...
144
click to vote
ACMICEC
2006
ACM
16 years 9 days ago
2006
ACM
In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a...
196
click to vote
ACMSE
2006
ACM
16 years 9 days 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...
136
click to vote
ICAC
2005
IEEE
15 years 12 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...