3001 search results - page 361 / 601 » Recursive type generativity |
181
click to vote
ACSW
2006
15 years 8 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
157
click to vote
CASCON
2004
15 years 8 months ago
2004
We report on initial experiments in tree locking schemes for compiled database applications. Such applications have a repository style of architecture in which a collection of sof...
164
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
151
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We are developing systems which play music on synthesized plucked strings instruments idiomatically. The present paper introduces a system focusing on the acoustic guitar. The sys...
156
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...