1743 search results - page 245 / 349 » Generalized Modal Satisfiability |
212
click to vote
PODC
1993
ACM
15 years 8 months ago
1993
ACM
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...
143
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
158
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
154
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...
147
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
Structured ASICs have recently emerged as an exciting alternative to ASIC or FPGA design style as they provide a new trade-off between the high performance of ASIC design and low ...