1481 search results - page 34 / 297 » Enriching the Software Development Process by Formal Methods |
122
click to vote
IJDE
2007
15 years 3 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
142
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
128
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
125
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
145
click to vote
ICFEM
1997
Springer
15 years 7 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...