Sciweavers

369 search results - page 43 / 74
» diagrams 2008
Sort
View
IADIS
2003
13 years 8 months ago
Modelling Adaptive Web Applications
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
Irene Garrigós, Jaime Gómez, Cristin...
WICSA
2004
13 years 8 months ago
An Architectural Approach to Mobility - The Handover Case Study
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Cristóvão Oliveira, Michel Wermeling...
UAI
1998
13 years 8 months ago
An Anytime Algorithm for Decision Making under Uncertainty
We present an anytime algorithm which computes policies for decision problems represented as multi-stage influence diagrams. Our algorithm constructs policies incrementally, start...
Michael C. Horsch, David Poole
VVEIS
2007
13 years 8 months ago
Checking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
Volker Gruhn, Ralf Laue
BIOSYSTEMS
2008
130views more  BIOSYSTEMS 2008»
13 years 6 months ago
Biological networks in metabolic P systems
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
Vincenzo Manca, Luca Bianco