3365 search results - page 657 / 673 » Digital System Design: Architectures, Methods and Tools |
HT
2006
ACM
15 years 5 months ago
2006
ACM
Web lectures are a form of educational content that differs from classic hypertext in a number of ways. Web lectures are easier to produce and therefore large amounts of material ...
131
click to vote
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
112
click to vote
CONEXT
2009
ACM
15 years 25 days ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
167
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
As the size of an RFID tag becomes smaller and the price of the tag gets lower, RFID technology has been applied to a wide range of areas. Recently, RFID has been adopted in the b...