3765 search results - page 103 / 753 » Formal Methods for Systems Engineering Behavior Models |
111
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
101
Voted
CIMCA
2006
IEEE
15 years 8 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
119
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
144
click to vote
ICWE
2010
Springer
15 years 29 days ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
143
Voted
FORTE
2009
15 years 7 days ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...