Sciweavers

3775 search results - page 323 / 755
» The Expression Problem Revisited
Sort
View
AAIM
2008
Springer
94views Algorithms» more  AAIM 2008»
16 years 1 months ago
Speed Scaling with a Solar Cell
We consider the setting of a device that obtains it energy from a battery and some regenerative source such as a solar cell. We consider the speed scaling problem of scheduling a c...
Nikhil Bansal, Ho-Leung Chan, Kirk Pruhs
ADC
2008
Springer
146views Database» more  ADC 2008»
16 years 1 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
IEEEARES
2007
IEEE
16 years 1 months ago
CSP-Based Firewall Rule Set Diagnosis using Security Policies
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
QUATIC
2007
IEEE
16 years 1 months ago
A Practical Model for Measuring Maintainability
—The amount of effort needed to maintain a software system is related to the technical quality of the source code of that system. The ISO 9126 model for software product quality ...
Ilja Heitlager, Tobias Kuipers, Joost Visser
CPAIOR
2007
Springer
16 years 29 days ago
Modeling the Regular Constraint with Integer Programming
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
Marie-Claude Côté, Bernard Gendron, L...