12084 search results - page 2277 / 2417 » Effect Systems with Subtyping |
116
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...
154
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
141
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
147
Voted
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...
124
Voted
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
This paper presents the architecture and protocols of SMesh, a completely transparent wireless mesh system that offers seamless, fast handoff, supporting VoIP and other real-time ...