503 search results - page 4 / 101 » A Framework for Reasoning on Component Composition |
EUROMICRO
2009
IEEE
14 years 16 days ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
AVSS
2009
IEEE
14 years 18 days ago
2009
IEEE
—Demand for bus surveillance is growing due to the increased threats of terrorist attack, vandalism and litigation. However, CCTV systems are traditionally used in forensic mode,...
TSC
2010
13 years 4 months ago
2010
—The need for integration of all types of client and server applications that were not initially designed to interoperate is gaining popularity. One of the reasons for this popul...
FTDCS
2004
IEEE
13 years 9 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
ACS
2008
13 years 5 months ago
2008
The integration of two important categorical frameworks