4919 search results - page 810 / 984 » A Process-Ontological Model for Software Engineering |
175
click to vote
KBSE
2008
IEEE
16 years 24 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
153
click to vote
APSEC
2007
IEEE
16 years 23 days ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
152
click to vote
CGO
2007
IEEE
16 years 23 days ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
199
click to vote
ISPASS
2007
IEEE
16 years 21 days ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
131
click to vote
SCAM
2007
IEEE
16 years 20 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...