46084 search results - page 156 / 9217 » Developments in WIS development |
170
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
176
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
153
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
177
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents specialized code generation techniques and runtime optimizations for developing light-weight XML Web services for embedded devices. The optimizations are imple...
121
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a Cellular Potts model (a cellular-automatonbased Monte-Carlo model) of in vitro capillary development, or angiogenesis. Our model derives from a recent cont...