Sciweavers

3706 search results - page 114 / 742
» The Transformational Approach to Program Development
Sort
View
CP
2005
Springer
15 years 3 months ago
Modeling Constraint Programs with Software Technology Standards
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Matthias Hoche, Stefan Jähnichen
ECOOP
1999
Springer
15 years 2 months ago
Providing Fine-grained Access Control for Java Programs
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
Raju Pandey, Brant Hashii
PLANX
2007
14 years 11 months ago
XML Transformation Language Based on Monadic Second Order Logic
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
Kazuhiro Inaba, Haruo Hosoya
INTERFACES
2010
211views more  INTERFACES 2010»
14 years 8 months ago
HP Transforms Product Portfolio Management with Operations Research
:  HP Transforms Product Portfolio Management with Operations Research Julie Ward, Bin Zhang, Shailendra Jain, Chris Fry, Thomas Olavson, Holger Mishal, Jason Amaral, Dirk Beyer...
Julie Ward, Bin Zhang, Shailendra Jain, Chris Fry,...
LCPC
2005
Springer
15 years 3 months ago
Supporting SELL for High-Performance Computing
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
Bjarne Stroustrup, Gabriel Dos Reis