2811 search results - page 293 / 563 » Real-Time Component-Based Systems |
97
Voted
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
115
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
103
Voted
CISSE
2009
Springer
14 years 10 months ago
2009
Springer
In Component-based Software (CBS) development, it is desirable to choose software components that provide all necessary functionalities and at the same time optimize certain nonfun...
82
Voted
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—In spite of the wide coverage of Internet and the need for Web systems to support various governmental tasks, the Brazilian state of Mato Grosso do Sul (Central West region) did...
115
Voted
ENTCS
2008
15 years 26 days ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...