12774 search results - page 302 / 2555 » A Framework for Proof Systems |
168
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
158
Voted
ICPPW
2008
IEEE
16 years 1 months ago
2008
IEEE
—Developing fault management mechanisms is a difficult task because of the unpredictable nature of failures. In this paper, we present a fault simulation framework for Blue Gene...
155
click to vote
IADIS
2003
15 years 8 months ago
2003
Despite numerous frameworks and models proposed in the literature, Information Systems (IS) assessment still remains elusive. Above all, there is little agreement on the contribut...
168
click to vote
ACL
1998
15 years 8 months ago
1998
In this paper, we describe a machine translation system called PalmTree which uses the "patternbased" approach as a fundamental framework. The pure pattern-based transla...
162
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...