4451 search results - page 336 / 891 » On Random Ordering Constraints |
195
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
157
Voted
OTM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
179
click to vote
ASPDAC
2006
ACM
16 years 21 days ago
2006
ACM
Power consumption has gained much saliency in circuit design recently. One design problem is modelled as ”Under a timing constraint, to minimize power as much as possible”. Pr...
185
click to vote
ASYNC
2005
IEEE
16 years 11 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
175
click to vote
HYBRID
2004
Springer
16 years 3 days ago
2004
Springer
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...