1606 search results - page 316 / 322 » XML-based programming language modeling: An approach to soft... |
EVOW
2010
Springer
14 years 2 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
OOPSLA
2001
Springer
14 years 1 days ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
CLADE
2003
IEEE
14 years 27 days ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
ISLPED
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...