746 search results - page 38 / 150 » Formal Analysis of UML-Based Designs |
105
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
ENTCS
2002
15 years 1 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
123
click to vote
FOIKS
2010
Springer
14 years 12 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
115
Voted
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
130
click to vote
ICFEM
1998
Springer
15 years 6 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...