1592 search results - page 260 / 319 » The state of the email address |
154
click to vote
CP
2005
Springer
15 years 6 months ago
2005
Springer
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...
EGOV
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we propose a solution to secure interoperability between electronic ID management infrastructures enabling the provision of cross-border eServices to mobile citizens....
103
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
107
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
139
click to vote
PET
2005
Springer
15 years 6 months ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...