2838 search results - page 231 / 568 » Verifying Controlled Components |
195
Voted
GIS
2005
ACM
16 years 1 months ago
2005
ACM
Databases of moving objects are important for air traffic control, ground traffic, and battlefield configurations. We introduce the (historical and spatial) range close-pair query...
90
Voted
IRI
2008
IEEE
15 years 7 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
108
Voted
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
88
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
102
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...