2410 search results - page 192 / 482 » Multiset Ordering Constraints |
247
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
258
click to vote
VLDB
2001
ACM
16 years 6 months ago
2001
ACM
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
161
click to vote
CONCUR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
178
click to vote
CPAIOR
2007
Springer
16 years 17 days ago
2007
Springer
The Open-Shop Problem is a hard problem that can be solved using Constraint Programming or Operation Research methods. Existing techniques are efficient at reducing the search tree...
166
click to vote
SAS
2007
Springer
16 years 15 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...