9455 search results - page 240 / 1891 » The Modelling Language Zinc |
165
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
148
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Quality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to
124
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
151
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...