5863 search results - page 938 / 1173 » On Model-Checking of P Systems |
178
click to vote
HIPEAC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Iterative optimization has become a popular technique to obtain improvements over the default settings in a compiler for performance-critical applications, such as embedd...
187
click to vote
INEX
2007
Springer
16 years 22 days ago
2007
Springer
CWI and University of Twente used PF/Tijah, a flexible XML retrieval system, to evaluate structured document retrieval, multimedia retrieval, and entity ranking tasks in the conte...
217
click to vote
PET
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Anonymizing networks such as Tor allow users to access Internet services privately using a series of routers to hide the client’s IP address from the server. Tor’s su...
154
click to vote
RAID
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. As research in automatic signature generators (ASGs) receives more attention, various attacks against these systems are being identified. One of these attacks is the “...
153
click to vote
WSFM
2007
Springer
16 years 21 days ago
2007
Springer
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...