2206 search results - page 289 / 442 » Software Engineering and Modeling Education: Problems and So... |
189
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
194
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—This paper considers the design of efficient strategies that allow cognitive users to choose frequency bands to sense and access among multiple bands with unknown parameters. F...
155
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
188
click to vote
ACMICEC
2005
ACM
16 years 2 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
160
click to vote
CCE
2006
15 years 6 months ago
2006
There has been significant progress in the area of short-term scheduling of batch processes, including the solution of industrial-sized problems, in the last 20 years. The main go...