3828 search results - page 90 / 766 » Proof-Based System Engineering Using a Virtual System Model |
124
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
140
Voted
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Emerging Grid applications desire not only high bandwidth but also the ability to control the topology and traffic engineering of the underlying networks, through web service inte...
116
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
148
Voted
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
119
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...