1148 search results - page 160 / 230 » Software engineering considered harmful |
90
Voted
COMSWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
118
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
96
Voted
DEXA
2007
Springer
15 years 7 months ago
2007
Springer
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
92
Voted
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
60
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...