3624 search results - page 415 / 725 » Abstract Algebraic Logic |
168
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
171
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
184
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
211
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...