1141 search results - page 168 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
187
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
146
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
152
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
175
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
214
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...