2473 search results - page 181 / 495 » Systems, Views and Models of UML |
197
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
209
Voted
VOTEID
2007
Springer
16 years 1 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
155
click to vote
COOPIS
2003
IEEE
16 years 9 days ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
156
Voted
ENTCS
2000
15 years 6 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
192
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...