6722 search results - page 631 / 1345 » Reuse-Conducive Development Environments |
158
click to vote
ICCBR
2005
Springer
16 years 22 days ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
197
click to vote
ICCS
2005
Springer
16 years 22 days ago
2005
Springer
The eMinerals Virtual Organisation consists of a consortium of individuals affiliated to geographically distributed academic institutions. Collaborative tools are essential in orde...
173
click to vote
IEAAIE
2005
Springer
16 years 22 days ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
160
click to vote
JSAI
2005
Springer
16 years 22 days ago
2005
Springer
Recent development of capture and archival technology for experiences can serve to extend our memory and knowledge and enrich our collaboration with others. Conversation is an impo...
170
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...