Sciweavers

5343 search results - page 76 / 1069
» Keyword programming in java
Sort
View
IFIP
1998
Springer
14 years 1 months ago
A Java-Based Distributed Platform for Multilateral Security
Andreas Pfitzmann, Alexander Schill, Andreas Westf...
JAVACARD
2000
14 years 19 days ago
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow
Pierre Bieber, Jacques Cazin, A. El Marouani, Pier...
ICSE
1999
IEEE-ACM
14 years 1 months ago
Data Flow Analysis for Checking Properties of Concurrent Java Programs
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
KBSE
2009
IEEE
14 years 3 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
COMPSAC
2009
IEEE
14 years 3 months ago
A Static Java Birthmark Based on Control Flow Edges
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Ha...