9006 search results - page 1265 / 1802 » Modeling Software |
153
click to vote
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
In this work we propose a methodology for the accurate analysis of the power consumption of interprocessor communication in a MPSoC, and the construction of high-level power macro...
220
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
169
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
197
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
183
Voted
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...