3799 search results - page 651 / 760 » An Engineering Approach to Formal Methods |
141
click to vote
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Forecasting Internet traffic is receiving an increasing attention from the computer networks domain. Indeed, by improving this task efficient traffic engineering and anomaly detect...
137
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
128
Voted
SIGGRAPH
1991
ACM
15 years 8 months ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
139
Voted
APPINF
2003
15 years 6 months ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
114
Voted
INFSOF
2008
15 years 4 months ago
2008
Background: Software Process Improvement (SPI) is intended to improve software engineering, but can only be effective if used. To improve SPI's uptake, we should understand w...