2741 search results - page 489 / 549 » Engineering Mathematical Knowledge |
127
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
119
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...
125
Voted
ECBS
2004
IEEE
15 years 6 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
118
Voted
CICLING
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. When you search for information regarding a particular person on the web, a search engine returns many pages. Some of these pages may be for people with the same name. Ho...
234
Voted
E4MAS
2006
Springer
15 years 6 months ago
2006
Springer
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...