4919 search results - page 810 / 984 » A Process-Ontological Model for Software Engineering |
128
Voted
KBSE
2008
IEEE
15 years 10 months 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 ...
107
Voted
APSEC
2007
IEEE
15 years 9 months 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 ...
113
click to vote
CGO
2007
IEEE
15 years 9 months 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...
162
Voted
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
SCAM
2007
IEEE
15 years 9 months 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...