5550 search results - page 80 / 1110 » Different Approaches to Proof Systems |
150
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Although the Internet AS-level topology has been extensively studied over the past few years, little is known about the details of the AS taxonomy. An AS "node" can repre...
152
click to vote
CNSR
2008
IEEE
16 years 21 days ago
2008
IEEE
The increasing demand for more bandwidth and the increased application variety fuel the need for high performance network processors. A simple but highly repetitive task performed...
139
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
A major force affecting many forest ecosystems is the encroachment of residential, commercial and industrial development. Analysis of the complex interactions between development ...
148
click to vote
ESOP
2007
Springer
16 years 11 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
192
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...