2410 search results - page 170 / 482 » Multiset Ordering Constraints |
171
click to vote
ASPDAC
2006
ACM
16 years 9 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...
176
click to vote
ASYNC
2005
IEEE
15 years 12 months 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 ...
160
click to vote
FC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
166
click to vote
HYBRID
2004
Springer
15 years 11 months 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...
178
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...