1728 search results - page 63 / 346 » Formal Modeling of Process Migration |
104
click to vote
FORTE
2008
15 years 13 days ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
The paper firstly analyses the error caused by the linear trajectory model and the Fresnel approximation because of the long synthetic aperture time in Geosynchronous Synthetic Ap...
118
click to vote
HASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
ICALT
2007
IEEE
15 years 5 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...