92 search results - page 8 / 19 » On CASE Tool Usage at Nokia |
106
Voted
IJMMS
2007
14 years 11 months ago
2007
Terrorists and extremists are increasingly utilizing Internet technology to enhance their ability to influence the outside world. Due to the lack of multi-lingual and multimedia ...
88
Voted
HVC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
94
Voted
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
Adapting to current context of usage is of fundamental importance for pervasive computing services. As the technology for acquiring contextual information is increasingly availabl...
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
INFSOF
2008
14 years 11 months ago
2008
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...