5457 search results - page 195 / 1092 » Software Component Independence |
129
Voted
TOOLS
2008
IEEE
15 years 10 months 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...
129
click to vote
GRID
2004
Springer
15 years 9 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,...
139
Voted
IADIS
2003
15 years 5 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...
141
click to vote
COMPSAC
2008
IEEE
15 years 10 months 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...
111
Voted
KBSE
2008
IEEE
15 years 10 months 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 ...