440 search results - page 8 / 88 » Distributed Object and Component-Based Software Systems |
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
ICDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
ISORC
2000
IEEE
14 years 23 days ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...