Sciweavers

173 search results - page 32 / 35
» What's your story
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 24 days ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
DIALM
2003
ACM
113views Algorithms» more  DIALM 2003»
14 years 19 days ago
Multicast time maximization in energy constrained wireless networks
We consider the problem of maximizing the lifetime of a given multicast connection in a wireless network of energyconstrained (e.g. battery-operated) nodes, by choosing ideal tran...
Patrik Floréen, Petteri Kaski, Jukka Kohone...
SIGUCCS
2000
ACM
13 years 11 months ago
Ills Cured with a Dose of Remedy
We presented a paper in Denver that addressed our Remedy design process. At that time we talked about our current development process, but we hadn't implemented the product a...
Michael Critchfield, Michael Murray
C5
2004
IEEE
13 years 11 months ago
Skeleton - Easy Simulation System
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
Takashi Yamamiya
IEEEMM
2000
120views more  IEEEMM 2000»
13 years 7 months ago
Gaze Awareness for Video-Conferencing: A Software Approach
reness has more abstract social value: People who use frequent eye contact are perceived as more attentive, friendly, cooperative, confident, mature, and sincere than those who avo...
Jim Gemmell, Kentaro Toyama, C. Lawrence Zitnick, ...