1148 search results - page 160 / 230 » Software engineering considered harmful |
150
click to vote
COMSWARE
2007
IEEE
16 years 19 days 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 ...
177
click to vote
AOSE
2007
Springer
16 years 14 days 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...
158
click to vote
DEXA
2007
Springer
16 years 14 days 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...
140
click to vote
FSEN
2007
Springer
16 years 13 days 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...
120
click to vote
FSTTCS
2007
Springer
16 years 13 days 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...