Sciweavers

1651 search results - page 33 / 331
» Negotiable Interfaces for Components
Sort
View
ISTA
2001
14 years 17 days ago
Supporting Behavioral Contracts for COM Components
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
Sonal Bhagat, Rushikesh K. Joshi
CHI
2001
ACM
14 years 11 months ago
Visualization components for persistent conversations
An appropriately designed interface to persistent, threaded conversations could reinforce socially beneficial behavior by prominently featuring how frequently and to what degree e...
Marc A. Smith, Andrew T. Fiore
COMPSAC
2003
IEEE
14 years 4 months ago
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
Ann T. Tai, Kam S. Tso, William H. Sanders
TSE
2008
107views more  TSE 2008»
13 years 11 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
EUROMICRO
2006
IEEE
14 years 5 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...