2558 search results - page 300 / 512 » Model Composition Contracts |
146
click to vote
IPSN
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
150
Voted
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
136
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
140
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
133
Voted
TAOSD
2010
15 years 3 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...