1413 search results - page 194 / 283 » Bisimilarity of Open Terms |
188
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
There has usually been a clean separation between networks and the applications that use them. Applications send packets over a simple socket API; the network delivers them. Howev...
197
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
179
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
164
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
162
click to vote
CCR
2010
15 years 6 months ago
2010
On September 23, 2009, CAIDA hosted a virtual Workshop on Internet Economics [3] to bring together network technology and policy researchers, commercial Internet facilities and se...