3765 search results - page 90 / 753 » Formal Methods for Systems Engineering Behavior Models |
114
Voted
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
125
click to vote
AINA
2008
IEEE
15 years 4 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
123
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
121
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
122
click to vote
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...