1786 search results - page 249 / 358 » The Structure of Factor Oracles |
163
click to vote
FCT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
154
click to vote
HUC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. While the user-centered design methods we bring from humancomputer interaction to ubicomp help sketch ideas and refine prototypes, few tools or techniques help explore di...
163
click to vote
ISAAC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
179
click to vote
KES
2007
Springer
16 years 16 days ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
166
click to vote
LADS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...