7106 search results - page 406 / 1422 » Restricted Complexity, General Complexity |
208
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
210
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
140
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Buhrman, Cleve and Wigderson gave a general communication protocol for block-composed functions f(g1(x1 , y1 ), · · · , gn(xn , yn )) by simulating a decision tree com...
169
click to vote
ICWE
2005
Springer
16 years 11 days ago
2005
Springer
Modelling adaptive Web applications is a difficult and complex task. Usually, the development of general system functionality and context adaptation is intertwined. However, adapt...
170
click to vote
ISSAC
2005
Springer
16 years 11 days ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...