8582 search results - page 1412 / 1717 » Here or There |
188
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
143
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
149
click to vote
OR
2005
Springer
16 years 6 days ago
2005
Springer
The fare planning problem for public transport is to design a system of fares that maximize the revenue. We introduce a nonlinear optimization model to approach this problem. It i...
181
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
221
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....