Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 141 - 160 von 280

141

Type-safe Computation with Heterogeneous Data
Huang, Freeman Yufei

pattern structure Pattern Calculus generic programming heterogeneous data type safety XML processing
Dissertation
142

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification
BERNARDESCHI, CINZIA ; DE FRANCESCO, NICOLETTA ; LETTIERI, GIUSEPPE ; et al.

Bytecode verifier Information flow Java bytecode Security
Fachzeitschrift
143

Java-MaC: A Run-time Assurance Approach for Java Programs
Kannan, Sampath ; Kim, Moonjoo ; Lee, Insup ; et al.
67 ; Departmental Papers (CIS) ; true ; published

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
144

Java-MaC: A run-time assurance approach for Java programs
Kim, Moonzoo ; Viswanathan, M ; Kannan, S ; et al.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
145

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance
Kuperberg, Michael ; Reussner, R.
ISSN: 1867-0067.

Software Performance Components Performance Prediciton Execution Platform Profi... Java Bytecode ddc:004
Dissertation
146

Embedded device cooperative system using Java bytecode instrumentation
綾木, 良太 ; 17102 ; アヤキ, リョウタ ; et al.

007.13 ネットワークミドルウェア... Javaバイトコード変換... 組込み機器 network middleware Java bytecode instrument...
147

Cotas asintóticas de coste
Alonso Blas, Diego Esteban ; Albert Albiol, Elvira ; Arenas Sánchez, Purificación

510.52(043.3) Análisis de Coste Análisis Estático de Pro... Análisis Automático de C... Cotas Superiores en Form... Código con Certificados
Dissertation
148

Instrumentace Java programů, kontrakty pro paralelismus ; Parametric Contracts for Concurrency in Java Programs
Žárský, Jan ; Smrčka, Aleš ; Křena, Bohuslav

verifikace softwaru dynamická analýza Java kontrakty pro paralelism... RoadRunner instrumentace
Dissertation
149

Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs
Mues, Malte ; Schallau, Till ; Howar, Falk ; et al.

Dynamic Symbolic Executi... Domain Specific Language... Java Bytecode Analysis Dynamic Taint Analysis
150

DESIGNING A MEMORY SYSTEM USING A STATIC LOADER FOR EMBEDDED JAVA ARCHITECTURES
Austin Kim ; Yang Qian ; Morris Chang ; et al.
http://php.cse.psu.edu/~vijay/javaworkshop/8/w99_sub2.pdf.

Key words Java programming languag... Java bytecode embedded system real-time system Java memory
Fachzeitschrift
151

Checking secure information flow in java bytecode by code transformation and standard bytecode verification
C. Bernardeschi ; N. De Francesco ; G. Lettieri ; et al.
http://www2.ing.unipi.it/~o1103499/papers/spe04.pdf.

Security Information Flow Java bytecode Bytecode Verifier
Fachzeitschrift
152

Vorsitzender
Dejvuth Suwimonteerabuth ; Universität Paris Diderot/frankreich ; The Pennsylvania State University CiteSeerX Archives
http://wwwbrauer.informatik.tu-muenchen.de/um/bibdb/suwimont/phdthesis.pdf.

einem Übersetzer von Jav... wurden optimiert
Fachzeitschrift
153

General Terms
Tomoyuki Higuchi ; The Pennsylvania State University CiteSeerX Archives
http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf.

Languages Theory Verification Keywords Ja...
Fachzeitschrift
154

Futoshi IWAMA and Naoki KOBAYASHI
The Pennsylvania State University CiteSeerX Archives
http://www.kb.ecei.tohoku.ac.jp/~koba/papers/jvmlock-ngc.pdf.

Java Bytecode Verifier Lock
Fachzeitschrift
155

Java Bytecode Verification via Static Single Assignment Form
Andreas Gal ; Michael Franz ; Christian W. Probst ; et al.
http://www.ics.uci.edu/~franz/Site/pubs-pdf/J21Prepub.pdf.

General Terms Algorithms Design Experimentation Languages Performance
Fachzeitschrift
156

Security Metrics for Java Bytecode Programs
Bandar Alshammari ; Colin Fidge ; Diane Corney ; et al.
http://eprints.qut.edu.au/69134/1/Fidge_accepted_paper.pdf.

Index Terms—Object-Orien... Security Metrics Security Analyser Java Bytecode
Fachzeitschrift
157

[Untitled]
Elvira Albert ; The Pennsylvania State University CiteSeerX Archives
http://clip.dia.fi.upm.es/papers/jvm-heap-ismm07.pdf.

General Terms Languages Theory Verification Reliability Keywords Hea... Heap Consumption Lowlevel Languages
Fachzeitschrift
158

Checking Secure Information Flow in Java Bytecode by Code Transformation and Standard Bytecode Verification
C. Bernardeschi ; N. De Francesco ; G. Lettieri ; et al.
http://www.ing.unipi.it/~o1103499/papers/spe04.ps.gz.

Security Information Flow Java bytecode Bytecode Verifier
Fachzeitschrift
159

Java bytecode compression for low-end embedded systems
Lars Rder Clausen ; Ulrik Pagh Schultz ; Charles Consel ; et al.
http://pagesperso-systeme.lip6.fr/Gilles.Muller/papers/toplas-bytecode.pdf.

Categories and Subject D... D.3.4 [Programming Langu... Processors|Optimiza- tio... Intepreters Run-time environments Ge... Design
Fachzeitschrift
160

Verification Methods for Software Security and Correctness
Gilles Barthe ; The Pennsylvania State University CiteSeerX Archives
https://asimod.informatik.tu-muenchen.de/2007/Abs07_Barthe.pdf.

1. Xavier Leroy. Java By... Algorithms and Formaliza... Journal of Automated
Fachzeitschrift

Filter