3645 search results - page 129 / 729 » Implementing mapping composition |
109
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
119
Voted
IDEAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Traditional indexing techniques are not well suited for complex data types such as spatial, spatio-temporal, and multimedia data types, where an instance is a composite of multipl...
103
click to vote
CBSE
2007
Springer
15 years 8 months ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
123
click to vote
ISSAC
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a new approach to multivariate polynomial factorisation which incorporates ideas from polyhedral geometry, and generalises Hensel lifting. Our main contribution is to...
111
Voted
SFP
2004
15 years 4 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...