10055 search results - page 1372 / 2011 » Structured programming using processes |
164
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose SAGE (Service Oriented Architecture Governance Evaluation) as a quantitative approach, to evaluate the impact of SOA governance policies on prominent quality attributes...
147
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software tools used to administer databases are vendor specific, proprietary, and require extensive prior database knowledge on the part of the database professional. We present d...
189
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
118
Voted
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Determining molecular structure from interatomic distances is an important and challenging problem. Given a molecule with n atoms, lower and upper bounds on interatomic distances ...
170
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
Two new spatial join operations, distance join and distance semijoin, are introduced where the join output is ordered by the distance betweenthe spatialattribute values ofthe join...