2364 search results - page 153 / 473 » An Engine for Computing Well-Founded Models |
140
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
131
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
140
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
118
click to vote
IADIS
2004
15 years 5 months ago
2004
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
136
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...