3006 search results - page 382 / 602 » Overview |
150
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
143
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
123
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
HARC—the Highly-Available Resource Co-allocator—is an open-source system for reserving multiple resources in a coordinated fashion. HARC can handle different types of resource...
153
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...
114
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Towards a sustainable society, design of artifacts must be optimized with limited resources on the earth while keeping our life. In order to realize it, I emphasize openness of des...