Sciweavers

1703 search results - page 166 / 341
» Model interoperability via Model Driven Development
Sort
View
INFOCOM
2005
IEEE
15 years 10 months ago
Power control for OSNR optimization in optical networks: a distributed algorithm via a central cost approach
— This paper addresses the problem of optical signal-to-noise ratio (OSNR) optimization in optical networks. An analytical OSNR network model is developed for a general multi-lin...
L. Pavel
139
Voted
UAI
2008
15 years 6 months ago
Bounding Search Space Size via (Hyper)tree Decompositions
This paper develops a measure for bounding the performance of AND/OR search algorithms for solving a variety of queries over graphical models. We show how drawing a connection to ...
Lars Otten, Rina Dechter
130
Voted
JANCL
2007
70views more  JANCL 2007»
15 years 5 months ago
Expressivity and completeness for public update logics via reduction axioms
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...
Barteld P. Kooi
ECMDAFA
2008
Springer
166views Hardware» more  ECMDAFA 2008»
15 years 6 months ago
Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
Manuel Bork, Leif Geiger, Christian Schneider, Alb...
154
Voted
ICEB
2004
234views Business» more  ICEB 2004»
15 years 6 months ago
A Component-based Framework for Distributed Business Simulations in E-Business Environments
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
Alexander Hampel, Edward Bernroider