592 search results - page 1 / 119 » Can Component Service-Based Systems Be Proved Correct |
SOFSEM
2009
Springer
13 years 9 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
EGCDMAS
2004
13 years 6 months ago
2004
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
ENASE
2009
13 years 2 months ago
2009
In traditional Software Engineering approaches, an application is described as a composite entity containing all its components. This approach is no longer relevant in modern Softw...
OMER
2001
13 years 6 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
It is well understood that using a software component methodology can simplify the development and maintenance of systems. Web services allow this vision to be extended allowing c...