12697 search results - page 233 / 2540 » Call for Papers |
198
click to vote
JSS
2010
15 years 1 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
150
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
189
click to vote
WG
2009
Springer
16 years 1 months ago
2009
Springer
Chordal graphs, also called triangulated graphs, are important in algorithmic graph theory. In this paper we generalise the definition of chordal graphs to the class of directed ...
175
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
— Location Dependent Information Services (LDISs) are gaining increasing popularity in recent years, and due to limited client power and intermittent connectivity, caching is an ...
141
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
For many storage providers, the cost of providing service calls exceeds the costs of the hardware being serviced. In this paper, we show that zeromaintenance, small disk arrays ar...