2003 · dr. heap references

Interacting DES: modelling and analysis

S. Abdelwahed and others (2003) · IEEE

Information-flow models for shared memory with an application to the powerPC architecture

Allon Adir and others (2003) · IEEE Transactions on Parallel and Distributed Systems · Institute of Electrical and Electronics Engineers

The EM Side—Channel(s)

Dakshi Agrawal and others (2003) · Lecture notes in computer science · Springer Science+Business Media

Formal Methods at the Crossroads. From Panacea to Foundational Support

Bernhard K. Aichernig and others (2003) · Lecture notes in computer science · Springer Science+Business Media

Bluespec: A language for hardware design, simulation, synthesis and verification invited talk

Arvind, (2003) · ACM & IEEE International Conference on Formal Methods and Models for Co-Design, page 249

The Description Logic Handbook: Theory, Implementation and Applications

Unattributed (2003) · Cambridge University Press

The increasing threat to satellite communications

S. Bain (2003) · Online Journal of Space Communication · Online Journal of Space Communication, 6, November

Fault-tolerant platforms for automotive safety-critical applications

Massimo Baleani and others (2003) · ACM Press

Towards an Interactive Mathematical Proof Mode

Henk P Barendregt (2003) · Applied logic series · Springer Nature (Netherlands)

Guideline for identifying an information system as a national security system

William C. Barker (2003)

The construction of large number representations in adults

H. Barth and others (2003) · Elsevier BV

Error analysis and detection procedures for a hardware implementation of the advanced encryption standard

G. Bertoni and others (2003) · Institute of Electrical and Electronics Engineers (IEEE)

Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP

S. Beyer and others (2003) · Springer Berlin Heidelberg

Bounded Model Checking

Armin Biere and others (2003) · Advances in computers · Elsevier BV

A reconfigurable system featuring dynamically extensible embedded microprocessor, FPGA, and customizable I/O

Michele Borgatti and others (2003) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers

An approach to the introduction of formal validation in an asynchronous circuit design flow

Dominique Borrione and others (2003) · IEEE

John Vincent Atanasoff-The Inventor of the First Electronic Digital Computing

Kiril Boyanov (2003)

Program logic and equivalence in the presence of garbage collection

C. Calcagno and others (2003) · Elsevier BV

Diameter Base Protocol

P. R. Calhoun and others (2003) · RFC Editor

Error-free software development for critical systems using the B-Methodology

M. Carnot and others (2003) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · Institute of Electrical and Electronics Engineers

A History of Modern Computing

Paul E. Ceruzzi (2003)

Template Attacks

Suresh Chari and others (2003) · Springer Berlin Heidelberg

Sensor Networks: Evolution, Opportunities, and Challenges

Chee-Yee Chong and others (2003) · Proceedings of the IEEE

Discretizing light behaviour in linear and nonlinear waveguide lattices

Demetrios N Christodoulides and others (2003) · Springer Science and Business Media LLC

Counterexample-guided abstraction refinement for symbolic model checking

Edmund Clarke and others (2003) · Journal of the ACM · Association for Computing Machinery (ACM)

The Telegraph: A History of Morse’s Invention and Its Predecessors in the United States

Lewis Coe (2003)

Incentives build robustness in BitTorrent

B. Cohen (2003) · Workshop on Economics of Peer-to-Peer systems

Trends and challenges in VLSI circuit reliability

Cris S. Constantinescu (2003) · IEEE Micro · Institute of Electrical and Electronics Engineers

Verification by Abstract Interpretation

Patrick Cousot (2003) · Verification: Theory and Practice, Essays Dedicated to Zohar Manna · Springer Science+Business Media

m-EVES: a tool for verifying software

Dan Craigen and others (2003) · Proceedings/Proceedings - International Conference on Software Engineering · Institute of Electrical and Electronics Engineers

Information Security: Effective Patch Management is Critical to Mitigating Software Vulnerabilities

Robert F. Dacey (2003)

Construction de Modèles Réduits et Vérification Symbolique de Circuits Industriels décrits au Niveau RTL

Emil Dumitrescu (2003)

Differential Fault Analysis on A.E.S

Pierre Dusart and others (2003) · Lecture notes in computer science · Springer Science+Business Media

Reasoning with Temporal Logic on Truncated Paths

C. Eisner and others (2003) · Springer Berlin Heidelberg

Razor: a low-power pipeline based on circuit-level timing speculation

D. Ernst (2003) · IEEE

A delay-tolerant network architecture for challenged internets

Kevin Fall (2003) · Proceedings of the 2003 ACM SIGCOMM Conference · ACM

Verification of non-functional programs using interpretations in type theory

Jean-Christophe Filliâtre (2003) · Journal of Functional Programming · Cambridge University Press

Coverage directed test generation for functional verification using bayesian networks

S. Fine and others (2003) · ACM

Formal Specification and Verification of ARM6

Anthony C. J. Fox (2003) · Lecture notes in computer science · Springer Science+Business Media

The Internet as a Self-Organizing Socio-Technological System

Christian Fuchs (2003) · Human Strategies in Complexity Research Paper

Many-dimensional modal logics: theory and practice

D. Gabbay and others (2003) · Cambridge University Press

Byzantine Failures and Security: Arbitrary is not (always) Random

Felix C. Gärtner (2003) · INFORMATIK 2003 – Mit Sicherheit Informatik, Schwerpunkt "Sicherheit – Schutz und Zuverlässigkeit" · Gesellschaft für Informatik e.V.

Design of a live and maximally permissive petri net controller using the theory of regions

A. Ghaffari and others (2003) · IEEE Transactions on Robotics and Automation · Institute of Electrical and Electronics Engineers

Fourteen ways to fool your synchronizer

R. Ginosar (2003) · IEEE Comput. Soc

A unified approach to detect binding based race condition attacks

Bharat Goyal and others (2003) · Int’l Workshop on Cryptology & Network Security (CANS), page 16

Consequences and categories of SRAM FPGA configuration SEUs

P. Graham and others (2003) · MAPLD Proceedings

Action video game modifies visual selective attention

C. Shawn Green and others (2003) · Nature · Nature Portfolio

Global Defensive Alliances in Graphs

Teresa W. Haynes and others (2003) · The Electronic Journal of Combinatorics

Cybernetics and second-order cybernetics

Francis Heylighen and others (2003) · Encyclopedia of Physical Science and Technology · Academic Press

The semantics of C++ data types: Towards verifying low-level system components

M. Hohmuth and others (2003) · TPHOLs 2003, Emerging Trends Proceedings

Coordination of groups of mobile autonomous agents using nearest neighbor rules

Ali Jadbabaie and others (2003) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers

The concept of a middle power in international relations: distinguishing between emerging and traditional middle powers

Eduard Jordaan (2003) · Informa UK Limited

Security issues and solutions in multicast content distribution: a survey

Paul Judge and others (2003) · IEEE Network · Institute of Electrical and Electronics Engineers

Polynomial Formal Verification of Multipliers

M. Keim and others (2003) · Springer Science and Business Media LLC

Cybersecurity

Richard A. Kemmerer (2003) · 25th International Conference on Software Engineering, 2003. Proceedings.

Quantum random walks: An introductory overview

Julia Kempe (2003) · Informa UK Limited

J.C.R. Licklider's vision for the IPTO

C.I. Kita (2003) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers (IEEE)

Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems

Christos Kloukinas and others (2003) · Proceedings - Euromicro Workshop on Real-Time Systems/Proceedings · Institute of Electrical and Electronics Engineers

Decentralized supervisory control with coalgebra

J. Komenda and others (2003) · IEEE

The time-triggered architecture

H. Kopetz and others (2003) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)

SIGMA: The ‘SIGn-and-MAc’ Approach to Authenticated Diffie-Hellman and Its Use in the IKE Protocols

H. Krawczyk (2003) · Springer Berlin Heidelberg

Meeting the Anti-Access and Area-Denial Challenge

Andrew F. Krepinevich and others (2003) · Center for Strategic and Budgetary Assessments

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems

Kåre Jelling Kristoffersen and others (2003) · Electronic Notes in Theoretical Computer Science · Elsevier BV

Using assertion-based verification to verify clock domain crossing signals

C. Kwok and others (2003) · Design and Verification Conference

A programmable stat machine architecture for packet processing

Wangyang Lai and others (2003) · Institute of Electrical and Electronics Engineers (IEEE)

The Technology Acceptance Model: Past, Present, and Future

Younghwa Lee and others (2003) · Communications of the Association for Information Systems · Association for Information Systems

POLYCHRONY for System Design

Paul Le Guernic and others (2003) · World Scientific Pub Co Pte Lt

A New Extraction for Coq

Pierre Letouzey (2003) · Lecture notes in computer science · Springer Science+Business Media

Integrated Photonics: Fundamentals

Ginés Lifante (2003) · Wiley

Living with the Genie: Essays on Technology and the Quest for Human Mastery

Alan P. Lightman and others (2003)

Designing fault tolerant systems into SRAM-based FPGAs

F. Lima and others (2003) · ACM

Model Checking and Satisfiability for Sabotage Modal Logic

Christof Löding and others (2003) · Trends in logic · Springer Nature (Netherlands)

The workload on parallel supercomputers: modeling the characteristics of rigid jobs

U. Lublin and others (2003) · Elsevier BV

A Simple Power-Analysis (SPA) Attack on Implementations of the AES Key Expansion

Stefan Mangard (2003) · Lecture notes in computer science · Springer Science+Business Media

Towards an accurate AS-level traceroute tool

Zhuoqing Morley Mao and others (2003) · ACM

Model Checking a Path

N. Markey and others (2003) · Springer Berlin Heidelberg

Token Coherence: decoupling performance and correctness

Milo M. K. Martin and others (2003) · Proceedings - International Symposium on Computer Architecture/Proceedings

From the Help Desk: Hurdle Models

A. McDowell (2003) · SAGE Publications

Interpolation and SAT-Based Model Checking

K. L. McMillan (2003) · Springer Berlin Heidelberg

Introduction to StEAM-an assembly-level software model checker

Tilman Mehler and others (2003)

Proving Pointer Programs in Higher-Order Logic

Farhad Mehta and others (2003) · Lecture notes in computer science · Springer Science+Business Media

A proof system for object oriented programming using separation logic

Ronald Middelkoop (2003) · Technische Universiteit Eindhoven

A Grand Challenge Proposal for Formal Methods: A Verified Stack

J Strother Moore (2003) · Springer Berlin Heidelberg

Inside the Slammer worm

David Moore and others (2003) · Institute of Electrical and Electronics Engineers (IEEE)

Bounded Model Checking and Induction: From Refutation to Verification

Leonardo De Moura and others (2003) · Springer Berlin Heidelberg

Measuring architectural vulnerability factors

Shubhendu S. Mukherjee and others (2003) · IEEE Micro · Institute of Electrical and Electronics Engineers

A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor

S. Mukherjee and others (2003) · IEEE

PSOS revisited

Peter G. Neumann and others (2003) · Annual Computer Security Applications Conference

Under the Wire: How the Telegraph Changed Diplomacy

David Paull Nickles (2003)

The Internet Under Crisis Conditions: Learning from September 11

National Research Council (2003) · The National Academies Press

Demonstration of an all-optical quantum controlled-NOT gate

Jeremy L O’Brien and others (2003) · Springer Science and Business Media LLC

Introduction: Service-oriented computing

M. P. Papazoglou and others (2003) · Commun. ACM, 46(10):24–28, October 2003.

Web services orchestration and choreography

Chris Peltz (2003) · Institute of Electrical and Electronics Engineers (IEEE)

Service-oriented architecture

Randall Perrey and others (2003) · Symposium on Applications and the Internet Workshops (SAINT Workshops)

Precise creation, characterization, and manipulation of single optical qubits

Nicholas Peters and others (2003) · Quantum Inf. Comput.

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

Cees Pierik and others (2003) · Formal Methods for Open Object-Based Distributed Systems · Springer

A Differential Fault Attack Technique against SPN Structures, with Application to the AES and Khazad

Gilles Piret and others (2003) · Lecture notes in computer science · Springer Science+Business Media

Interdomain traffic engineering with BGP

Bruno Quoitin and others (2003) · Institute of Electrical and Electronics Engineers (IEEE)

Political and Economic Liberalisation in Zambia, 1991-2001

Lise Rakner (2003) · Uppsala, Sweden: Nordic Africa Institute, 2003.

Practical TCP/IP and Ethernet Networking for Industry

Deon Reynders and others (2003) · Newnes

The complexity of the temporal logic with “until” over general linear time

Mark A Reynolds (2003) · Journal of Computer and System Sciences · Elsevier BV

Diffusion of Innovations, 5th ed

Everett M. Rogers (2003) · Simon and Schuster

Scheduling of Parallel Jobs in a Heterogeneous Multi-site Environment

G. Sabin and others (2003) · Springer Berlin Heidelberg

Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction

Arash Saifhashemi and others (2003) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery

UAVs: The Future

R. Schroer (2003) · IEEE Aerospace and Electronic Systems Magazine

VLSI implementation of the keyed-hash message authentication code for the wireless application protocol

Georgios Selimis and others (2003) · IEEE International Conference on Electronics, Circuits and Systems (ICECS)

An algebraic theory of BGP routing policies

João Luís Sobrinho (2003) · Proceedings of the 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM ’03)

On the Behaviour of Classes of Min-Max-Plus Systems

Gerardo Soto y Koelemeijer (2003)

Internet Protocol (IP) Over Link-16

Clinton W. Stinson (2003)

Trusted computing group (TCG) and the TPM 1.2 specification

N. Sumrall and others (2003) · Intel Developer Forum, vol. 32. Intel

Final Report for the Multiprotocol Label Switching (MPLS) Control Plane Security LDRD Project

Thomas D. Tarman and others (2003) · Sandia National Laboratories

Turning software into a service

M. Turner and others (2003) · Computer · Institute of Electrical and Electronics Engineers (IEEE)

Salamanders (Plethodon cinereus) go for more: rudiments of number in an amphibian

Claudia Uller and others (2003) · Animal Cognition · Springer Science+Business Media