4350 search results - page 679 / 870 » Case studies for contract-based systems |
121
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Concept location is a critical activity during software evolution as it produces the location where a change is to start in response to a modification request, such as, a bug repo...
127
Voted
AIED
2009
Springer
15 years 10 months ago
2009
Springer
Researchers of educational technologies are often asked to do the impossible: make students learn and have them enjoy it. These two objectives, though not mutually exclusive, are f...
139
click to vote
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
The emergence of scale free and small world properties in real world complex networks has stimulated lots of activity in the field of network analysis. An example of such a netwo...
123
Voted
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...
117
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Consider a coverage problem for a team of agents in the plane: target points appear sporadically over time in a bounded environment and must be visited by one of the agents. It...