15033 search results - page 297 / 3007 » Complexity Theory and Algorithms |
117
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
143
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
118
Voted
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— Instability in packet-switching networks is normally associated with overload conditions, since queueing network models show that, in simple configurations, only overload gene...
134
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
152
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....