5096 search results - page 819 / 1020 » Associations as a Language Construct |
170
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
169
click to vote
PROMAS
2007
Springer
16 years 19 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 ...
190
click to vote
UM
2007
Springer
16 years 19 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...
147
click to vote
ACMICEC
2006
ACM
16 years 15 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...
140
click to vote
ICAC
2005
IEEE
16 years 4 days 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...