3825 search results - page 333 / 765 » More on pooling spaces |
177
click to vote
SAT
2005
Springer
16 years 5 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
200
click to vote
VLDB
2005
ACM
16 years 5 days ago
2005
ACM
In this paper, we address issues related to sharing information in a distributed system consisting of autonomous entities, each of which holds a private database. Semi-honest beha...
158
click to vote
ZUM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
142
click to vote
IHM
2004
ACM
16 years 4 days ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
177
click to vote
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...