10271 search results - page 518 / 2055 » Computer Science |
124
click to vote
GI
2007
Springer
16 years 20 days ago
2007
Springer
: This paper presents our ongoing work on the analysis and optimization of cryptanalytic time-memory tradeoffs targeting the COPACOBANA architecture [KPP+ 06] as platform for the p...
143
click to vote
GI
2007
Springer
16 years 20 days ago
2007
Springer
: Very few research efforts have been spent on the coordination of plans and operations of independent carriers in an intermodal transportation chain. The impact of this lack of co...
168
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
162
click to vote
WG
2007
Springer
16 years 18 days ago
2007
Springer
We study a variation of the vertex cover problem where it is required that the graph induced by the vertex cover is connected. We prove that this problem is polynomial in chordal g...
170
click to vote
ACSC
2005
IEEE
16 years 4 days ago
2005
IEEE
Collaborative Software Engineering (CSE) supports the fine-grained real-time development of software by teams of developers located anywhere on the Internet. In this paper we des...