5180 search results - page 338 / 1036 » Concurrency, Time, and Constraints |
162
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We consider the problem of testing whether the maximum additive integrality gap of a family of integer programs in standard form is bounded by a given constant. This can be viewed...
200
click to vote
SRDS
1997
IEEE
15 years 11 months ago
1997
IEEE
Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...
220
click to vote
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
165
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
185
Voted
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
The design of any application on a configurable System-on-a-Chip (SoC) like Atmel's FPSLIC is subject to a lot of constraints stemming from requirements of the application an...