Back to Results
First PageMeta Content
Local consistency / Flow network / Graph / Constraint satisfaction / Constraint logic programming / Directed graph / Decomposition method / Tree decomposition / Graph theory / Constraint programming / Theoretical computer science


Constraint Design Rewriting Roberto Brunia , Alberto Lluch Lafuenteb , Ugo Montanaria a Dipartimento di Informatica, Universit`a di Pisa, Italy { bruni,ugo}@ di. unipi. it
Add to Reading List

Open Document

File Size: 179,38 KB

Share Result on Facebook

City

Aachen / Amsterdam / Pisa / /

Company

World Scientific / Elsevier Science Inc. / E. Vassev S. P. / Constraint Design Networks / Furukawa / ACM Press / Dhxi / /

/

Event

FDA Phase / /

Facility

IMT Institute / /

IndustryTerm

given network / linear solution algorithm / software engineering / software artifacts / stable network / reconfigurable software systems / inconsistent networks / requirement/specification/software items / concurrent systems / software components / computing / relaxation algorithm / software architecture styles using graph grammars / software architectures / software development / excellent software / feasible solutions / hierarchical networks / concurrent modular systems / sequential networks / /

Organization

IMT Institute for Advanced Studies Lucca / ETAPS Steering Committee / /

Person

Emilio Tuosto / Paul Klint / Alberto Lluch Lafuenteb / Ai / Roberto Brunia / /

Position

hb / The non-specialist / general case / model for service / non-specialist / /

Product

HTC HD2 Smartphone / D1 / /

ProgrammingLanguage

E / L / C* / /

Technology

linear solution algorithm / artificial intelligence / relaxation algorithm / /

SocialTag