Sciweavers

2152 search results - page 368 / 431
» A Framework for Modeling DNA Based Molecular Systems
Sort
View
IIWAS
2008
15 years 7 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
KDD
2001
ACM
228views Data Mining» more  KDD 2001»
16 years 6 months ago
REVI-MINER, a KDD-environment for deviation detection and analysis of warranty and goodwill cost statements in automotive indust
REVI-MINER is a KDD-environment which supports the detection and analysis of deviations in warranty and goodwill cost statements. The system was developed within the framework of ...
Edgar Hotz, Udo Grimmer, W. Heuser, Gholamreza Nak...
GLOBECOM
2008
IEEE
16 years 19 days ago
Weighted Sum Rate Optimization of Multicell Cognitive Radio Networks
— In this paper, we study the weighted sum rate maximization of multicell cellular cognitive radio networks (CRNs) which are overlaid with multicell primary radio networks (PRNs)...
Yao Ma, Dong In Kim, Alex Leith
ATAL
2007
Springer
16 years 11 days ago
Diagnosis of plan step errors and plan structure violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoy...
DGO
2007
97views Education» more  DGO 2007»
15 years 7 months ago
Interactive exploration and discovery of e-government services
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
Giovanni Maria Sacco