Sciweavers

858 search results - page 86 / 172
» One Is Enough!
Sort
View
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
14 years 2 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
WMASH
2003
ACM
14 years 2 months ago
Secure authentication system for public WLAN roaming
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
Yasuhiko Matsunaga, Ana Sanz Merino, Takashi Suzuk...
WSNA
2003
ACM
14 years 2 months ago
Asymptotically optimal time synchronization in dense sensor networks
We consider the problem of synchronization of all clocks in a sensor network, in the regime of asymptotically high node densities. We formulate this problem as one in which all cl...
An-Swol Hu, Sergio D. Servetto
CSEE
2003
Springer
14 years 2 months ago
An Experimental Card Game for Teaching Software Engineering
The typical software engineering course consists of lectures in which concepts and theories are conveyed, along with a small “toy” software engineering project which attempts ...
Alex Baker, Emily Oh Navarro, André van der...
DIGRA
2003
Springer
14 years 2 months ago
Participatory design and opposing interests in development of educational computer games
In this study we have followed a participatory design process in a class of children aged 11 and 12. The development team, a group of Danish schoolteachers, invited the children t...
Rikke Magnussen, Morten Misfeldt, Tasha Buch