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 286

141

Dieses Ergebnis kann Gästen nicht angezeigt werden.

142

Detecting theft of Java applications via a static birthmark based on weighted stack patterns
Lim, Hyun-il ; Park, Heewan ; choi, Seokwoo ; et al.

SOFTWARE THEFT software birthmark software theft detection software protection Java bytecode
Fachzeitschrift
143

Získávání metrik o komponentách z distribučních balíků ; Obtaining component metrics from distribution packages
Šmajcl, Jan ; Brada, Přemysl ; Lipka, Richard

měření metriky komponent Java bytecode úložiště measurement component metrics
Dissertation
144

A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs
NIKOLIC, Durica ; Nikolic, Durica

Static Analysi Abstract Interpretation Java Bytecode Pointer Analysi Reachability Analysi Aliasing Analysi
Dissertation
145

A program logic for bytecode
Müller, Peter ; Bannwart, Fabian
Electronic Notes in Theoretical Computer Science, 141 (1)

Java Bytecode NET CIL program verification Hoare logic
Fachzeitschrift
146

Type-safe Computation with Heterogeneous Data
Huang, Freeman Yufei

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

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
148

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
149

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
150

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
151

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

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

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
153

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
154

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
155

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
156

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
157

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
158

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
159

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
160

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

Filter