5550 search results - page 379 / 1110 » Different Approaches to Proof Systems |
167
Voted
ACL
2008
15 years 8 months ago
2008
This paper presents a comparative evaluation of several state-of-the-art English parsers based on different frameworks. Our approach is to measure the impact of each parser when i...
175
click to vote
MMS
2007
15 years 8 months ago
2007
Abstract: For evaluating dynamics of mobile ad-hoc networks at least three different layers have to be distinguished: the application layer, the protocol layer, and the network lay...
200
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider storage in an extremely large-scale distributed computer system designed for stream processing applications. In such systems, incoming data and intermediate results ma...
155
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
169
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...