5170 search results - page 756 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
219
click to vote
PADL
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
209
click to vote
SAGA
2005
Springer
16 years 27 days ago
2005
Springer
Two general-purpose metaheuristic algorithms for solving multiobjective stochastic combinatorial optimization problems are introduced: SP-ACO (based on the Ant Colony Optimization ...
190
click to vote
IS4TH
2003
Springer
16 years 18 days ago
2003
Springer
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...
187
click to vote
ICDCSW
2002
IEEE
16 years 11 days ago
2002
IEEE
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
174
click to vote
IWQOS
2001
Springer
15 years 12 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...