3765 search results - page 385 / 753 » Formal Methods for Systems Engineering Behavior Models |
177
click to vote
WSC
2004
15 years 8 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
171
click to vote
UML
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
176
click to vote
FM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
212
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
174
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In this paper, we describe the design of a profile generator toolkit, which aims to automatically create realistic user profiles for a mobile personalized portal service. These pr...