4737 search results - page 853 / 948 » The LOGIC negotiation model |
172
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
193
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
175
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
217
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
179
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Valiant load balancing (VLB), also called two-stage load balancing, is gaining popularity as a routing scheme that can serve arbitrary traffic matrices. To date, VLB network de...