1746 search results - page 36 / 350 » Residual for Component Specifications |
110
Voted
JISBD
2001
15 years 5 months ago
2001
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
137
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
102
Voted
SERA
2005
Springer
15 years 9 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...
149
Voted
IMCSIT
2010
15 years 29 days ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
127
Voted
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper exploits independent component analysis (ICA) to obtain transform-based compression schemes adapted to specific image classes. This adaptation results from the data-dep...