5457 search results - page 195 / 1092 » Software Component Independence |
179
click to vote
TOOLS
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
173
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
With the advent of Grid computing, more and more highend computational resources become available for use to a scientist. While this opens up new avenues for scientific research,...
181
click to vote
IADIS
2003
15 years 7 months ago
2003
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
169
click to vote
COMPSAC
2008
IEEE
16 years 29 days ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
152
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...