267 search results - page 25 / 54 » Cross-Platform Development: Software that Lasts |
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
DAIS
2008
15 years 1 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
112
click to vote
MODELLIERUNG
2001
15 years 1 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
WSC
1990
15 years 29 days ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...