4636 search results - page 311 / 928 » Modelling and Validation with VipTool |
152
Voted
COMCOM
2007
15 years 4 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
126
Voted
GG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
131
click to vote
ECEASST
2006
15 years 4 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
122
click to vote
ADHOCNOW
2009
Springer
15 years 10 months ago
2009
Springer
We deal with the rate allocation problem for downlink in a Multi-hop Cellular Network. A mathematical model is provided to assign transmission rates in order to reach an optimal an...
123
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...