2540 search results - page 203 / 508 » Abstract Logics as Dialgebras |
204
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
184
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...
164
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
144
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
169
click to vote
ECSA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...