4421 search results - page 427 / 885 » Libraries |
138
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
151
click to vote
ISSAC
2007
Springer
15 years 11 months ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
125
click to vote
ISSAC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
157
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
148
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...