Sciweavers

571 search results - page 55 / 115
» Context Proceduralization in Decision Making
Sort
View
MODELS
2009
Springer
15 years 4 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
ADC
2007
Springer
93views Database» more  ADC 2007»
15 years 3 months ago
A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
Hui Ma, Klaus-Dieter Schewe, Qing Wang
TVLSI
2008
124views more  TVLSI 2008»
14 years 11 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
TCGOV
2005
Springer
15 years 5 months ago
e-Government: A Legislative Ontology for the 'SIAP' Parliamentary Management System
The requirement of integrating, sharing and reusing legislative information is a research issue gaining priority for governments and institutions. The legal world is complex, heter...
Carmen Costilla, Juan P. Palacios, José Cre...
CSB
2005
IEEE
133views Bioinformatics» more  CSB 2005»
15 years 5 months ago
Sequential Classification for Microarray and Clinical Data
Sequential classification uses in a stepwise process only part of the data (evidence) for partial classification, i.e., classifying only objects with sufficient evidence and leavi...
Günter Tusch