573 search results - page 48 / 115 » Scenarios in System Development: Current Practice |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooperati...
INLG
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we propose a new shared task called HOO: Helping Our Own. The aim is to use tools and techniques developed in computational linguistics to help people writing about...
CASC
2006
Springer
14 years 1 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
KES
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In the last years new scientific knowledge and technological developments derived from the Human Genome Project have been affecting the way in which biomedical research a...