Sciweavers

3053 search results - page 288 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
WICSA
2008
15 years 5 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
OR
2006
Springer
15 years 4 months ago
An AHP model for construction contractor prequalification
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
K. P. Anagnostopoulos, A. P. Vavatsikos
SMI
2010
IEEE
165views Image Analysis» more  SMI 2010»
15 years 2 months ago
Designing a Topological Modeler Kernel: A Rule-Based Approach
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
Thomas Bellet, Mathieu Poudret, Agnès Arnou...
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
15 years 9 months ago
Storage Model for CDA Documents
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...
Zheng Liang, Peter Bodorik, Michael Shepher
CP
1998
Springer
15 years 8 months ago
Modelling CSP Solution Algorithms with Petri Decision Nets
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
Stephan Pontow