Sciweavers

4150 search results - page 224 / 830
» A Practical Approach to Model Extension
Sort
View
LWA
2008
15 years 5 months ago
Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki
In informal collections of collaboratively created knowledge like wikis, there is no well-defined way of reporting issues with knowledge items. When something is wrong or needs im...
Christoph Lange 0002, Tuukka Hastrup, Stephane Cor...
STTT
2010
132views more  STTT 2010»
15 years 2 months ago
Evaluation of Kermeta for solving graph-based problems
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Bar...
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
15 years 11 months ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
ODR
2008
15 years 5 months ago
Re-Consider: The Integration of Online Dispute Resolution and Decision Support Systems
Current approaches for the design of Online Dispute Resolution (ODR) systems involve the replication of Alternative Dispute Resolution practices such as mediation and negotiation. ...
Nial Muecke, Andrew Stranieri, Charlynn Miller
KBSE
2007
IEEE
15 years 10 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu