Sciweavers

2117 search results - page 89 / 424
» A Metadata Model for Capturing Presentations
Sort
View
WWW
2004
ACM
14 years 8 months ago
Conceptual Modelling versus Semantic Web: the two sides of the same coin?
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
Oscar Pastor, Joan Fons, Victoria Torres, Vicente ...
FM
2006
Springer
111views Formal Methods» more  FM 2006»
13 years 11 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
INFORMATICALT
2006
75views more  INFORMATICALT 2006»
13 years 8 months ago
Repository for Business Rules Based IS Requirements
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
Kestutis Kapocius, Rimantas Butleris
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
14 years 2 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...
ATAL
2004
Springer
14 years 1 months ago
A Bayes Net Approach to Argumentation
Argumentation-based negotiation approaches have been proposed to present realistic negotiation contexts. This paper presents a novel Bayesian network based argumentation and decis...
Sabyasachi Saha, Sandip Sen