5339 search results - page 280 / 1068 » Controllable Delay-Insensitive Processes |
162
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
A problem with many of today's appliance interfaces is that they are inconsistent. For example, the procedure for setting the time on alarm clocks and VCRs differs, even amon...
129
click to vote
NOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose Connection then Credits (CTC) as a new end-to-end flow control protocol to handle messagedependent deadlocks in networks-on-chip (NoC) for multicore systems-on-chip. C...
127
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In the near future, wireless sensor networks (WSN) performing sensing and communication tasks will be widely deployed as technology rapidly advances. Communication is one of the e...
117
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
117
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...