2858 search results - page 453 / 572 » Logics with Aggregate Operators |
168
click to vote
USENIX
2000
15 years 7 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...
158
click to vote
WSC
2000
15 years 7 months ago
2000
Designing semiconductor cluster tool systems is a complicated task due to the nature of automatic operations and various configurations of modules and task response priorities of ...
168
click to vote
SLP
1994
15 years 7 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
163
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
156
click to vote
CCR
2006
15 years 6 months ago
2006
The presence of "unwanted" (or background) traffic in the Internet is a well-known fact. In principle any network that has been engineered without taking its presence in...