686 search results - page 48 / 138 » Behavior Protocols for Software Components |
120
click to vote
DAIS
2008
15 years 3 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
126
click to vote
JUCS
2008
15 years 1 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
142
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
111
click to vote
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
PDPTA
2003
15 years 3 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...