2488 search results - page 116 / 498 » An improvement in formal verification |
101
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
148
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
227
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
84
Voted
WETICE
2006
IEEE
15 years 6 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...