2302 search results - page 230 / 461 » Testing as Abstraction |
172
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
187
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
160
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a modified version of the Particle swarm Optimization algorithm in which we adjust the virtual swarm search by incorporating inter-agent dynamics native to mul...
158
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
159
Voted
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...