8179 search results - page 1482 / 1636 » The PRACTIONIST Development Tool |
153
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
126
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...
124
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
135
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
140
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Data grids, such as the ones used by the high energy physics community, are used to share vast amounts of data across geographic locations. However, interactions with grid data ...