5668 search results - page 977 / 1134 » The case for software evolution |
122
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
172
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
122
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...
142
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
120
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...