15754 search results - page 2788 / 3151 » Programs are Knowledge Bases |
226
click to vote
MIDDLEWARE
2004
Springer
16 years 27 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
191
click to vote
MOZ
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
196
click to vote
RT
2004
Springer
16 years 26 days ago
2004
Springer
We describe an approach for rendering large terrains in real-time. A digital elevation map defines the rough shape of the terrain. During rendering, procedural geometric and text...
251
click to vote
SCOPES
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
217
click to vote
TCC
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...