127 search results - page 2 / 26 » Free Software Needs Profit |
DAC
1999
ACM
14 years 8 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
ICCHP
2010
Springer
13 years 5 months ago
2010
Springer
Assistive Technology (AT) software market is expensive, and related products are hard to find, especially for non-English speaking users. Open Source and free AT software partially...
VMCAI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
PEPM
1994
ACM
13 years 11 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
Book
"Before you can start learning specific servlet and JSP techniques, you need to have
the right software and know how to use it. This introductory chapter explains how to
obt...