1081 search results - page 92 / 217 » Hierarchical Heterogeneous Specifications |
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
ICTA
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we describe an interface to display texts in a fashion adapted to dyslexic readers. In order to help the reading task, we designed several tools geared towards the ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
SERA
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents Deployment Factory, a modeldriven unified environment for deploying componentbased applications. While there are projects aiming to develop a unified deploymen...
HSNMC
2004
Springer
15 years 3 months ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...