Sciweavers

399 search results - page 43 / 80
» Scene Modeling Based on Constraint System Decomposition Tech...
Sort
View
EMSOFT
2007
Springer
15 years 6 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 5 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
MABS
2007
Springer
15 years 6 months ago
System Issues in Multi-agent Simulation of Large Crowds
Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing...
Vidit Bansal, Ramachandra Kota, Kamalakar Karlapal...
CISS
2008
IEEE
15 years 1 months ago
Client-centric fractional frequency reuse based on user cooperation in OFDMA networks
Abstract--This paper proposes client-centric fractional frequency reuse (CC-FFR) techniques for interference mitigation in OFDMA-based cellular wireless networks. In this framework...
Stefan Geirhofer, Ozgur Oyman
CCO
2001
Springer
168views Combinatorics» more  CCO 2001»
15 years 4 months ago
Mathematical Programming Models and Formulations for Deterministic Production Planning Problems
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
Yves Pochet