8828 search results - page 265 / 1766 » Formal methods in practice |
185
click to vote
MBUI
2004
15 years 8 months ago
2004
In conventional applications it is easy to find detailed and structured practices that make use of models in order to describe almost every aspect of the user interface. On the ot...
156
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
206
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
159
Voted
KES
2009
Springer
15 years 11 months ago
2009
Springer
Today, social networks systems have become more and more important. People have change their way to relate and communicate. Therefore, how to enhance contents and organization of a...
157
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
- In this paper, we propose a new method to design an interleaver with practical size for turbo codes. In order to construct an optimal interleaver, we first set up the following d...