3400 search results - page 348 / 680 » tools 2008 |
181
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
182
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
214
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. Howev...
148
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the main concerns of IT governance is IT’s delivery of value to the business, which is driven by strategic business and IT alignment (SBITA). How to operationally assess ...
164
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...