4281 search results - page 678 / 857 » How to Disembed a Program |
92
Voted
MATES
2004
Springer
15 years 6 months ago
2004
Springer
The article presents a general model of the emergence of social order in multi-agent-systems (MAS). The agents consist of two types of neural networks that have the task to generat...
94
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...
109
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
123
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
94
Voted
WABI
2004
Springer
15 years 6 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...