1529 search results - page 25 / 306 » A Taxonomy of Software Component Models |
CSMR
2006
IEEE
14 years 1 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...
FASE
2005
Springer
14 years 28 days 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...
IEE
2010
13 years 6 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 ...
HUMAN
2003
Springer
14 years 19 days 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...
KBSE
1997
IEEE
13 years 11 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...