8109 search results - page 12 / 1622 » A Model of Component-Based Programming |
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...
ECBS
2008
IEEE
14 years 4 months ago
2008
IEEE
EUROMICRO
2006
IEEE
14 years 4 months ago
2006
IEEE
ICEIS
2005
IEEE
14 years 4 months ago
2005
IEEE
ISORC
2005
IEEE
14 years 4 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...