218 search results - page 12 / 44 » A Symbolic Approach for the Combined Solution of Scheduling ... |
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
DKE
2007
13 years 7 months ago
2007
The periodic broadcasting of frequently requested data can reduce the workload of uplink channels and improve data access for users in a wireless network. Since mobile devices hav...
CP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...