3792 search results - page 706 / 759 » Techniques for Trusted Software Engineering |
114
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
112
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
106
Voted
CLEF
2005
Springer
15 years 6 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
102
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...