6348 search results - page 1136 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
In the area of network monitoring a lot of tools are already available to measure a variety of metrics. However, these tools are often limited to a single administrative domain so ...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...