1529 search results - page 207 / 306 » A Taxonomy of Software Component Models |
168
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
154
click to vote
PDCAT
2005
Springer
15 years 11 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
157
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
126
click to vote
INFSOF
2006
15 years 5 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
144
click to vote
SBMF
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...