5550 search results - page 946 / 1110 » Different Approaches to Proof Systems |
190
click to vote
ISPA
2007
Springer
16 years 23 days ago
2007
Springer
Grid and distributed public computing schemes has become an essential tool for many scientific fields including bioinformatics, computational biology and systems biology. The adopt...
160
click to vote
IWIC
2007
Springer
16 years 23 days ago
2007
Springer
We followed the work of an international research network that holds regular meetings in technology-enhanced environments. The team is geographically distributed and to support its...
166
click to vote
LCPC
2007
Springer
16 years 22 days ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
200
click to vote
MDM
2007
Springer
16 years 22 days ago
2007
Springer
A general consensus is that the proliferation of locationaware devices will result in a diffusion of location-based services. Privacy preservation is a challenging research issue ...
132
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...