2550 search results - page 142 / 510 » Architecture as Language |
106
click to vote
JUCS
2007
15 years 1 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
108
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
127
click to vote
ECBS
2008
IEEE
15 years 3 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
117
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
101
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...