1139 search results - page 194 / 228 » Aligning Goal Models and Business Models - extended abstract |
112
click to vote
AIIDE
2008
15 years 4 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
106
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
107
Voted
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...
138
click to vote
EPEW
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
132
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...