32032 search results - page 6122 / 6407 » Verified programming in Guru |
177
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
197
click to vote
EAGC
2004
Springer
16 years 3 days ago
2004
Springer
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
178
click to vote
EGH
2004
Springer
16 years 3 days ago
2004
Springer
Real-time graphics hardware continues to offer improved resources for programmable vertex and fragment shaders. However, shader programmers continue to write shaders that require ...
158
Voted
EGOV
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper describes PARMENIDES, a system which facilitates structured debate about government policy. 1 The PARMENIDES System The last two decades have seen a deliberati...
195
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...