848 search results - page 32 / 170 » A Formal Monitoring-Based Framework for Software Development... |
RE
1997
Springer
14 years 28 days ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
COMPSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
Patterns are investigated in relation to development of applications and frameworks in the context of analysis, design, and implementation. The results are based on a framework fo...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...