222 search results - page 20 / 45 » Development of Correct Graph Transformation Systems |
SIGMOD
2010
ACM
14 years 9 days ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
SEMWEB
2009
Springer
14 years 1 days ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
CAV
2010
Springer
13 years 7 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...