Sciweavers

5314 search results - page 576 / 1063
» Hybrid Dynamic Programming
Sort
View
PASTE
2004
ACM
16 years 1 months ago
Evaluating the imprecision of static analysis
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
Atanas Rountev, Scott Kagan, Michael Gibas
CD
2004
Springer
16 years 1 months ago
MagicBeans: a Platform for Deploying Plugin Components
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
Robert Chatley, Susan Eisenbach, Jeff Magee
SAS
2004
Springer
16 years 1 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
ECOOP
2000
Springer
16 years 1 days ago
Using Objects for Next Generation Communication Services
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
Munir Cochinwala
COMPSAC
1998
IEEE
15 years 12 months ago
A Fresh Look at Programming-in-the-Large
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
Walter Cazzola, Andrea Savigni, Andrea Sosio, Fran...