Sciweavers

5353 search results - page 78 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
CORR
2008
Springer
155views Education» more  CORR 2008»
15 years 6 months ago
Software dependability modeling using an industry-standard architecture description language
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, ...
IEAAIE
2011
Springer
14 years 9 months ago
A Cognitive Agent Model Using Inverse Mirroring for False Attribution of Own Actions to Other Agents
This paper presents a cognitive agent model capable of showing situations where self-generated actions are attributed to other agents, as, for example, for patients suffering from ...
Jan Treur, Muhammad Umair
LATA
2010
Springer
16 years 27 days ago
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics
We extend stochastic context-free grammars such that the probability of applying a production can depend on the length of the subword that is generated from the application and sho...
Frank Weinberg, Markus E. Nebel
CAISE
2007
Springer
15 years 10 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst