851 search results - page 83 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
144
click to vote
MOBISYS
2004
ACM
16 years 2 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...
152
Voted
AAAI
2004
15 years 4 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
117
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
142
click to vote
SIGMETRICS
2010
ACM
15 years 3 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
164
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Approximately eighteen percent (18%) of babies born in New South Wales (NSW), Australia require special care or neonatal intensive care admission. Premature babies can be up to 17...