12052 search results - page 662 / 2411 » computing 2010 |
188
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
172
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
173
click to vote
TIT
2010
15 years 1 months ago
2010
In this paper, a new class of Bayesian lower bounds is proposed. Derivation of the proposed class is performed via projection of each entry of the vector-function to be estimated ...
184
click to vote
MST
2010
15 years 5 months ago
2010
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
194
click to vote
SIGCSE
2010
ACM
16 years 2 months ago
2010
ACM
Video game development is an attractive career objective for many computer science students. Colleges are starting degree programs and specializations to serve this interest, but ...