Configuration graphs are a theoretical tool used in computational complexity theory to prove a relation between graph reachability and complexityâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- Jerker Bengtsson, Bertil Svensson
- 2009 International Symposium on Systemsâ€¦
- 2009

The programming complexity of increasingly parallel processors calls for new tools to assist programmers in utilising theâ€¦Â (More)

Is this relevant?

Review

2009

Review

2009

- Wolfgang Thomas
- CSR
- 2009

We survey classical and selected recent work on the reachability problem over finitely presented infinite graphs. The problem hasâ€¦Â (More)

Is this relevant?

2008

2008

- Marien Abreu, Martin Funk, Domenico Labbate, Vito Napolitano
- Contributions to Discrete Mathematics
- 2008

Configurations of type (Îº +1)Îº give rise to Îºâ€“regular simple graphs via configuration graphs. On the other hand, neighbourhoodâ€¦Â (More)

Is this relevant?

2007

2007

Service-oriented computing (SOC) emerging as a new computing diagram that supports the rapid and low-cost development ofâ€¦Â (More)

Is this relevant?

2006

2006

- Luciano Baresi, Paola Spoletini
- ICGT
- 2006

This paper proposes a methodology to analyze graph transformation systems by means of Alloy and its supporting tools. Alloy is aâ€¦Â (More)

Is this relevant?

2006

2006

- Ulrich Norbisrath, Christof Mosler
- CASCON
- 2006

New developments and decreasing costs of electronic appliances enable the realization of pervasive systems in our dailyâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Jim Dowling, Vinny Cahill
- Reflection
- 2001

Software architectures have recently emerged as a level of design concerned with specifying the overall structure of a systemâ€¦Â (More)

Is this relevant?

2001

2001

- Xiaohui Gu, Duangdao Wichadakul, Klara Nahrstedt
- IEEE International Conference on Multimedia andâ€¦
- 2001

The provision of distributed multimedia services is becoming mobile and ubiquitous. Different multimedia services requireâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Chris Leger
- 1999

Robot configuration design is hampered by the lack of established, well-known design rules, and designers cannot easily grasp theâ€¦Â (More)

Is this relevant?

Highly Cited

1984

Highly Cited

1984

- R. Nackman Lee
- IEEE Transactions on Pattern Analysis and Machineâ€¦
- 1984

The configuration of the critical points of a smooth function of two variables is studied under the assumption that the functionâ€¦Â (More)

Is this relevant?