15253 search results - page 2584 / 3051 » Integer-Programming Software Systems |
171
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...
165
click to vote
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
177
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
173
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
178
click to vote
CLEF
2005
Springer
15 years 11 months ago
2005
Springer
We describe the objectives and organization of the CLEF 2005 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual, bilingual and multilingual ...