Sciweavers

3311 search results - page 451 / 663
» Deductive Object Programming
Sort
View
CONSTRAINTS
2006
99views more  CONSTRAINTS 2006»
15 years 4 months ago
An Integrated Method for Planning and Scheduling to Minimize Tardiness
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
John N. Hooker
BMCBI
2005
125views more  BMCBI 2005»
15 years 4 months ago
DIALIGN-T: An improved algorithm for segment-based multiple sequence alignment
Background: We present a complete re-implementation of the segment-based approach to multiple protein alignment that contains a number of improvements compared to the previous ver...
Amarendran R. Subramanian, Jan Weyer-Menkhoff, Mic...
CORR
2004
Springer
120views Education» more  CORR 2004»
15 years 4 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
SIGSOFT
2005
ACM
16 years 5 months ago
Strathcona example recommendation tool
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
Reid Holmes, Robert J. Walker, Gail C. Murphy
ECOOP
2009
Springer
16 years 4 months ago
Checking Framework Interactions with Relationships
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
Ciera Jaspan, Jonathan Aldrich