27274 search results - page 4789 / 5455 » A framework for framework documentation |
201
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
221
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
201
Voted
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
269
Voted
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
185
Voted
SUM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Argumentation is a promising approach for handling inconsistent knowledge bases, based on the justification of plausible conclusions by arguments. Due to inconsistency, ...