3765 search results - page 488 / 753 » Formal Methods for Systems Engineering Behavior Models |
174
click to vote
PEPM
2007
ACM
16 years 24 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
217
Voted
WELCOM
2001
Springer
15 years 11 months ago
2001
Springer
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...
187
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
218
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
— Stochastic activity networks (SANs) are a widely used formalism for describing complex systems that have random behavior. Sophisticated software tools exist for the modeling an...
176
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...