4737 search results - page 662 / 948 » The LOGIC negotiation model |
238
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
185
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
254
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
198
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
— Accurate estimation of worst-case crosstalk effects is critical for a realistic estimation of the worst-case behavior of deep sub-micron circuits. Crosstalk analysis models usu...
172
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Convergence of communication, consumer applications and computing within mobile systems pushes memory requirements both in terms of size, bandwidth and power consumption...