741 search results - page 13 / 149 » Steps towards C C: A Language for Interactions |
NEUROSCIENCE
2001
Springer
14 years 13 days ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...
ISF
2007
13 years 7 months ago
2007
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
Online transaction processing (OLTP) is a multibillion dollar industry with high-end database servers employing state-of-the-art processors to maximize performance. Unfortunately,...
NDSS
2000
IEEE
14 years 11 days ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
AR
2004
13 years 7 months ago
2004
-- An inevitable collision state for a robotic system can be defined as a state for which, no matter what the future trajectory followed by the system is, a collision with an obsta...