5434 search results - page 387 / 1087 » Tool support for MOLA |
194
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
194
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
188
click to vote
SOFTVIS
2006
ACM
16 years 25 days ago
2006
ACM
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
180
click to vote
ICAS
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper describes the design and the implementation of QoS services in a high speed backbone network as well as a management tool for the service. The services were designed ta...
191
click to vote
SAS
2005
Springer
16 years 11 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...