2722 search results - page 201 / 545 » The Model Evolution Calculus |
120
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
135
Voted
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
143
Voted
MATA
2001
Springer
15 years 7 months ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
130
click to vote
FLAIRS
2007
15 years 5 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
128
click to vote
ITA
2007
15 years 3 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...