2861 search results - page 382 / 573 » Constraint Programming |
100
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
108
click to vote
ICDE
2010
IEEE
15 years 2 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...
120
Voted
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where ...
120
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
95
Voted
IEAAIE
1999
Springer
15 years 6 months ago
1999
Springer
This paper describes the design of the Bus Timetabling System (BTS) we have developed for one of the largest privately held bus companies in the world. This Bus Company operates cl...