1529 search results - page 25 / 306 » A Taxonomy of Software Component Models |
125
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
142
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
134
click to vote
IEE
2010
15 years 1 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
167
click to vote
HUMAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
109
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...