2004
131 references published this year.
Deciding knowledge in security protocols under equational theories
Martı́n Abadi and others (2004) · International Colloquium on Automata, Languages, and Programming
Extensible Authentication Protocol (EAP)
B. Aboba and others (2004)
SystemVerilog 3.1a Language Reference Manual
Accellera, (2004)
Bridging the Gap. European C4ISR Capabilities and Transatlantic Interoperability
Gordon Adams and others (2004) · Center for Technology and National Security Policy, National Defense University
Proofs from THE BOOK
Martin Aigner and others (2004) · Springer Nature
Web Services - Concepts, Architectures and Applications
G. Alonso and others (2004) · Data-Centric Systems and Applications. Springer
Automatic abstraction and verification of verilog models
Zaher S. Andraus and others (2004) · Proceedings of the 41st annual Design Automation Conference · ACM
Reo: a channel-based coordination model for component composition
Farhad Arbab (2004) · Cambridge University Press (CUP)
Photonic applications of lithium niobate crystals
Luis Arizmendi (2004) · Wiley
Challenges in Timed Languages
E. Asarin (2004) · Bulletin of EATCS 83
Making typical silicon matter with Razor
T. Austin and others (2004) · Computer · IEEE Computer Society
Basic concepts and taxonomy of dependable and secure computing
Algirdas Avizienis and others (2004) · Institute of Electrical and Electronics Engineers (IEEE)
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball and others (2004) · Springer Berlin Heidelberg
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert and others (2004) · RACSAM
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Saddek Bensalem and others (2004) · Electronic Notes in Theoretical Computer Science · Elsevier BV
A Decidable Fragment of Separation Logic
Josh Berdine and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Yves Bertot and others (2004) · Springer Berlin Heidelberg
Local reasoning about a copying garbage collector
Lars Birkedal and others (2004) · ACM SIGPLAN Notices · Association for Computing Machinery
Validation de Spécifications de Circuits Asynchrones: Méthodes et outils
Menouer Boubekeur (2004)
Technology, Implementation and Application of the Trusted Computing Group Standard (TCG)
H. Brandl and others (2004) · Infineon Technologies AG, September
Correlation Power Analysis with a Leakage Model
Éric Brier and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Principles of Network and System Administration
Mark Burgess (2004) · John Wiley & Sons
A 4.6GHz resonant global clock distribution network
Steven C. Chan and others (2004) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
SMTp: An architecture for next-generation scalable multithreading
M. Chaudhuri and others (2004) · Association for Computing Machinery (ACM)
Certifying circuits in Type Theory
Solange Coupet-Grimal and others (2004) · Formal Aspects of Computing · Springer Science+Business Media
C-CoRN, the Constructive Coq Repository at Nijmegen
Luı́s Cruz-Filipe and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Adjunct Elimination Through Games in Static Ambient Logic
A. Dawar and others (2004) · Springer Berlin Heidelberg
SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH
Remco Dijkman and others (2004) · International Journal of Cooperative Information Systems · World Scientific
Who is Pointing When to Whom?
Dino Distefano and others (2004) · Lecture notes in computer science · Springer Science+Business Media
On Timed Automata with Input-Determined Guards
Deepak D’Souza and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Digital Arithmetic
M.D. Ercegovac and others (2004) · Morgan Kaufmann
The case for separating routing from routers
N. Feamster and others (2004) · ACM
Core systems of number
L. Feigenson and others (2004) · Elsevier BV
Multi-prover Verification of C Programs
Jean-Christophe Filliâtre and others (2004) · Springer Berlin Heidelberg
6bone (IPv6 Testing Address Allocation) Phaseout
R. Fink and others (2004) · RFC Editor
Analysis of interacting BPEL web services
Xiang Fu and others (2004) · International World Wide Web Conference (WWW)
Gate Oxide Reliability: Physical and Computational Models
A. Ghetti (2004) · Springer Berlin Heidelberg
Taclets and the KeY prover
Martin Giese (2004) · Electronic Notes in Theoretical Computer Science
A computer-checked proof of the Four Colour Theorem
G. Gonthier (2004)
Measurement of the flux and energy spectrum of cosmic-ray induced neutrons on the ground
M.S. Gordon and others (2004) · Institute of Electrical and Electronics Engineers (IEEE)
Valuing the Cause Marketing Relationship
John T. Gourville and others (2004) · SAGE Publications
A comparative evaluation of hardware-only and software-only directory protocols in shared-memory multiprocessors
Håkan Grahn and others (2004) · Journal of Systems Architecture · Elsevier BV
Sperry Rand's first-generation computers, 1955-1960: hardware and software
Geoffrey Gray and others (2004) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Creating the Vision for the Internet: From the Wiener Circles to Licklider and ARPA's Information Processing Techniques Office (IPTO)
Ronda Hauben (2004) · Kybernetik und Interdisziplinarität in den Wissenschaften: Georg Klaus zum 90. Geburtstag · trafo Verlag
Basic results on the semantics of Accellera PSL 1.1 foundation language
J. Havlicek and others (2004) · Technical Report 2004.02, Accelera
Logics for Real Time: Decidability and Complexity
Y. Hirshfeld and others (2004) · Fundamenta Informaticae 62
The SPIN model checker: Primer and reference manual, volume 1003
Gerard J Holzmann (2004) · Addison-Wesley Reading
IPv6 Address Prefix Reserved for Documentation
G. Huston and others (2004) · RFC Editor
Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth and others (2004) · Cambridge University Press
Doc 9816 - Manual on VHF Digital Link (VDL) Mode 4
ICAO, (2004) · ICAO Doc 9816, International Civil Aviation Organization (ICAO)
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
Neil Immerman and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Evaluation of constant envelope offset quadrature phase shift keying transmitters with a software based signal analyzer
R. Jefferis (2004) · Proceedings of the International Telemetering Conference
Alliances in graphs
Petter Kristiansen and others (2004) · Journal of Combinatorial Mathematics and Combinatorial Computing
Constraint Satisfaction Problems on Intervals and Lengths
A. Krokhin and others (2004) · Society for Industrial & Applied Mathematics (SIAM)
A source code analyzer for performance prediction
M. Kuhnemann and others (2004) · IEEE International Parallel and Distributed Processing Symposium (IPDPS)
Automated fsm error correction for single event upsets
Nand Kumar and others (2004) · Proceedings of the MAPLD International Conference
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak and others (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings · Springer
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak and others (2004) · arXiv
The Designer’s Guide to Verilog-AMS, June 2004
K. Kundert and others (2004) · Springer Science+Business Media
Which Protocol for the New Collective Experiments?
Bruno Latour (2004) · Kultur im Experiment · Kadmos Verlag
LLVM: a compilation framework for lifelong program analysis & transformation
Chris Lattner and others (2004)
Are User Runtime Estimates Inherently Inaccurate?
Cynthia Bailey Lee and others (2004) · Lecture notes in computer science · Springer Science+Business Media
A systems-theoretic approach to safety in software-intensive systems
Nancy G. Leveson (2004) · IEEE Transactions on Dependable and Secure Computing · IEEE
Elements of Finite Model Theory
Leonid Libkin (2004) · Springer Berlin Heidelberg
Design for Timing Predictability
T. Lothar and others (2004) · Springer Science and Business Media LLC
Separation logic preserves the expressive power of classical logic
E. Lozes (2004) · SPACE’04
Theorem Proving and Proof Verification in the System SAD
A. Lyaletski and others (2004) · Springer Berlin Heidelberg
X.509 Extensions for IP Addresses and AS Identifiers
Charles Lynn and others (2004) · RFC Editor
J
M, (2004)
Monitoring Temporal Properties of Continuous Signals
O. Maler and others (2004) · Springer Berlin Heidelberg
On Recognizable Timed Languages
Oded Maler and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Why Model Checking Can Improve WCET Analysis
Alexander Metzner (2004) · Lecture notes in computer science · Springer Science+Business Media
Principles of Functional Verification
A. Meyer (2004) · Meyer, Principles of Functional Verification. Burlington: Newnes
Efficient implementation of the keyed-hash message authentication code (HMAC) using the SHA-1 hash function
H. Michail and others (2004) · IEEE
Refinement in a separation context
I. Mijajlović and others (2004) · SPACE 2004: Informal Proceedings of Second Workshop on Semantics, Program Analysis and Computing Environments for Memory Management
Refinement and Separation Contexts
Ivana Mijajlović and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer Berlin Heidelberg
Effects of beam spot size on the correlation between laser and heavy ion SEU testing
Florent Miller (2004) · Institute of Electrical and Electronics Engineers (IEEE)
The art of software testing
Glenford J. Myers and others (2004) · Wiley
Dynamic binary analysis and instrumentation
Nicholas Nethercote (2004)
Finite state machines for strings over infinite alphabets
F. Neven and others (2004) · Association for Computing Machinery (ACM)
Bluespec System Verilog: efficient, correct RTL from high level specifications
R. Nikhil (2004) · IEEE
Recommendation for block cipher modes of operation: The CCM mode for authentication and confidentiality
NIST, (2004) · NIST Special Publication SP 800-38C, NIST, May
Design of optimum sync and detection patterns for frame synchronisation
A. Nowbakht and others (2004) · Electronics Letters · Institution of Engineering and Technology
Resources, Concurrency and Local Reasoning
P. W. O'Hearn (2004) · Springer Berlin Heidelberg
Separation and information hiding
P. W. O'Hearn and others (2004) · Association for Computing Machinery (ACM)
A Survey of Formal Methods Courses in European Higher Education
J. N. Oliveira (2004) · Springer Berlin Heidelberg
Sparse coding of sensory inputs
Bruno A. Olshausen and others (2004) · Current Opinion in Neurobiology · Elsevier BV
Acquisition of categorized named entities for web search
MARIUS A. PAŞCA (2004)
A Fully Integrated On-Chip DC–DC Conversion and Power Management System
G. Patounakis and others (2004) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Exploiting transition locality in automatic verification of finite-state concurrent systems
G. D. Penna and others (2004) · Springer Science and Business Media LLC
Exact and Approximate Arithmetic in an Amazonian Indigene Group
P. Pica and others (2004) · American Association for the Advancement of Science (AAAS)
A structural approach to operational semantics
Gordon D. Plotkin (2004) · The Journal of Logic and Algebraic Programming · Elsevier
Reasoning about Dynamic Policies
Riccardo Pucella and others (2004) · Lecture notes in computer science · Springer Science+Business Media
Possible worlds and resources: the semantics of BI
David J. Pym and others (2004) · Theoretical Computer Science · Elsevier BV
Optical and electro-optical properties of submicrometer lithium niobate slab waveguides prepared by crystal ion slicing and wafer bonding
Payam Rabiei and others (2004) · AIP Publishing
TCAM architecture for IP lookup using prefix properties
V.C. Ravikumar and others (2004) · IEEE Micro · Institute of Electrical and Electronics Engineers
Byzantine fault tolerance in long-lived systems
Rodrigo Rodrigues and others (2004) · 2nd Bertinoro Workshop on Future Directions in Distributed Computing (FuDiCo II)
Moving in a Crumbling Network: The Balanced Case
Philipp Rohde (2004) · Computer Science Logic · Springer Berlin Heidelberg
Root cause analysis for beginners
J. J. Rooney and others (2004) · Quality Progress
A hybrid heuristic for DAG scheduling on heterogeneous systems
R. Sakellariou and others (2004) · IEEE International Parallel and Distributed Processing Symposium (IPDPS)
Selective triple Modular redundancy (STMR) based single-event upset (SEU) tolerant synthesis for FPGAs
P.K. Samudrala and others (2004) · IEEE Transactions on Nuclear Science · Institute of Electrical and Electronics Engineers
Towards a verified, general-purpose operating system kernel
E. Northup S. Sridhar J. Shapiro and others (2004) · 1st NICTA Workshop on Operating System Verification, October 2004.
The Balance of Power: History and Theory
Michael Sheehan (2004) · Routledge
Analyzing BGP policies: methodology and tool
Georgos Siganos and others (2004) · IEEE
Extending Separation Logic with Fixpoints and Postponed Substitution
Élodie-Jane Sims (2004) · Algebraic Methodology and Software Technology · Springer
Active Networking: One View of the Past, Present, and Future
J. M. Smith and others (2004) · Institute of Electrical and Electronics Engineers (IEEE)
The Reconstruction of Nations: Poland, Ukraine, Lithuania, Belarus, 1569- 1999
Timothy Snyder (2004)
The case for lifetime reliability-aware microprocessors
J. Srinivasan and others (2004) · Proceedings - International Symposium on Computer Architecture/Proceedings
Secure program execution via dynamic information flow tracking
G. Edward Suh and others (2004) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)
Static tokens: Using dataflow to automate concurrent pipeline synthesis
John Teifel and others (2004) · IEEE
TELEMETRY GROUP TELEMETRY STANDARDS IRIG STANDARD 106-04 Part I
Telemetry Group (2004) · Telemetry Group
Monitoring Algorithms for Metric Temporal Logic Specifications
P. Thati and others (2004) · Elsevier BV
Relearning counterinsurgency warfare
Robert R. Tomes (2004) · The US Army War College Quarterly: Parameters
Understanding Basic Automata Theory in the Continuous Time Setting
B.A. Trakhtenbrot (2004) · Fundamenta Informatica 62
Burglary Victimization in England and Wales, the United States and the Netherlands: A Cross-National Comparative Test of Routine Activities and Lifestyle Theories
A. Tseloni and others (2004) · Oxford University Press (OUP)
Smart Adaptive Systems on Silicon
M. Valle (2004) · Springer Nature
Representation of Number in Animals and Humans: A Neural Model
Tom Verguts and others (2004) · Journal of Cognitive Neuroscience · The MIT Press
Voltage acceleration and t63.2 of 1.6–10 nm gate oxides
R.-P. Vollertsen and others (2004) · Microelectronics Reliability · Elsevier BV
A 180mV FFT processor using subthreshold circuit techniques
A. Wang and others (2004) · IEEE
Formal verification of timed systems: a survey and perspective
Farn Wang (2004) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
An HMAC processor with integrated SHA-1 and MD5 algorithms
M. Wang and others (2004) · IEEE
A Hacker Manifesto
McKenzie Wark (2004) · Harvard University Press
Towards mechanized program verification with separation logic
Tjark Weber (2004) · 18th International Workshop on Computer Science Logic (CSL) · Springer
Formal Proof Sketches
Freek Wiedijk (2004) · Lecture notes in computer science · Springer Science+Business Media
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone
Reinhard Wilhelm (2004) · Lecture notes in computer science · Springer Science+Business Media
Transforming BPEL into annotated deterministic finite state automata for service discovery
Andreas Wombacher and others (2004) · IEEE International Conference on Web Services (ICWS)
Forwarding and Control Element Separation (ForCES) Framework
L. Yang and others (2004)
Building certified libraries for PCC: dynamic storage allocation
D. Yu and others (2004) · Science of Computer Programming
Towards a formal model for security policies specification and validation in the selinux system
Giorgio Zanin and others (2004) · ACM Symposium on Access Control Models and Technologies (SACMAT)
Destination reachability and BGP convergence time
Beichuan Zhang and others (2004) · IEEE
SER — History, Trends and Challenges: A Guide for Designing with Memory ICs
J.F. Ziegler and others (2004) · Cypress Semiconductor Corporation