13306 search results - page 2539 / 2662 » Theoretical Computer Science |
182
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
188
click to vote
ALGOSENSORS
2007
Springer
16 years 17 days ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
151
click to vote
AMR
2007
Springer
16 years 17 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
171
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
In this paper we experimentally analyse various dynamic timeout adjustment strategies in server queues as potential counter-measures against degradation of service attacks. Previo...
142
click to vote
COCOON
2007
Springer
16 years 16 days ago
2007
Springer
We propose new algorithms and improved bounds for interference-aware routing in wireless networks. First, we prove that n arbitrarily matched source-destinations pairs with average...