2935 search results - page 347 / 587 » An Integrated Approach to High Integrity Software Verificati... |
139
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
Experience with generating simulation data of high energy physics experiments has shown that a job monitoring system (JMS) is essential to understand failures of jobs within the G...
204
click to vote
IEEESCC
2005
IEEE
16 years 2 days ago
2005
IEEE
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
164
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Multi-join queries are the core of any integration service that integrates data from multiple distributed data sources. Due to the large number of data sources and possibly high v...
187
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We propose a new real-time authentication scheme for memory. As in previous proposals the scheme uses a Merkle tree to guarantee dynamic protection of memory. We use the universal...
174
click to vote
ISDA
2006
IEEE
16 years 15 days ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...