12774 search results - page 297 / 2555 » A Framework for Proof Systems |
196
Voted
ISSE
2008
15 years 6 months ago
2008
The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communi...
183
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
125
click to vote
ISJ
2002
15 years 6 months ago
2002
Abstract. This paper reports on the extension of the Multiview framework to webbased information systems. The aims are firstly to investigate the appropriateness of Multiview
175
click to vote
ISORC
2006
IEEE
16 years 22 days ago
2006
IEEE
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
178
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...