Sciweavers

59 search results - page 3 / 12
» Going forward
Sort
View
ACSE
2000
ACM
14 years 2 days ago
Time studies as a tool for (computer science) education research
Computer Science Education Research is often done in a very local setting and findings are difficult to transfer to other institutions. There are however several factors that spea...
Anna Sandström, Mats Daniels
CCR
2008
90views more  CCR 2008»
13 years 7 months ago
Censor networks: a critique of "sensor networks" from a systems perspective
This writeup presents a critique of the field of "Wireless Sensor Networks (WSNs)". Literature in this domain falls into two main, distinct categories: (1) algorithms or...
Bhaskaran Raman, Kameswari Chebrolu
IFL
2001
Springer
14 years 4 days ago
Proving the Correctness of the STG Machine
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
Alberto de la Encina, Ricardo Pena
DCOSS
2005
Springer
14 years 1 months ago
Design and Analysis of Wave Sensing Scheduling Protocols for Object-Tracking Applications
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...
Shansi Ren, Qun Li, Haining Wang, Xiaodong Zhang
TIS
2002
63views more  TIS 2002»
13 years 7 months ago
The Web of Time and the Dilemma of Globalization
stract entity pointing forward, but by a "web" allowing for different strands to go their own way while weaved together to create a coherent pattern, and this is how the ...
Soraj Hongladarom