295 search results - page 49 / 59 » Games and Definability for System F |
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
To distribute risk in Grid, the design of service level agreements (SLAs) plays an important role, since these contracts determine the price for a service at an agreed quality lev...
EVOW
2007
Springer
14 years 2 months ago
2007
Springer
We present a time domain approach to explore a sound transformation paradigm for musical performance. Given a set of sounds containing a priori desired qualities and a population o...
GREC
2003
Springer
14 years 1 months ago
2003
Springer
To date many methods and programs for automatic text recognition exist. However there are no effective text recognition systems for graphic documents. Graphic documents usually con...
NOSSDAV
1992
Springer
14 years 23 days ago
1992
Springer
: We present an overview of a "best-effort" transport protocol that supports conferencing with digital audio and video across interconnected packet switched networks. The...