Sciweavers

813 search results - page 44 / 163
» Pipeline-centric provenance model
Sort
View
ATAL
2009
Springer
14 years 11 days ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
JSA
2007
123views more  JSA 2007»
13 years 7 months ago
Application of deterministic and stochastic Petri-Nets for performance modeling of NoC architectures
The design of appropriate communication architectures for complex Systems-on-Chip (SoC) is a challenging task. One promising alternative to solve these problems are Networks-on-Ch...
Holger Blume, Thorsten von Sydow, Daniel Becker, T...
JMLR
2012
11 years 10 months ago
Low rank continuous-space graphical models
Constructing tractable dependent probability distributions over structured continuous random vectors is a central problem in statistics and machine learning. It has proven diffic...
Carl Smith, Frank Wood, Liam Paninski
SAC
2010
ACM
14 years 2 months ago
Modeling the variability of architectural patterns
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...
Ahmad Waqas Kamal, Paris Avgeriou
ACHI
2008
IEEE
14 years 2 months ago
Focusing Graphical User Interfaces in Model-Driven Software Development
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...