6796 search results - page 99 / 1360 » Java for Embedded Systems |
90
Voted
USS
2008
15 years 4 months ago
2008
This paper presents a new technique for exploiting heap overflows in JavaScript interpreters. Briefly, given a heap overflow, JavaScript commands can be used to insure that a func...
120
click to vote
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a new approach to the issues of performance monitoring and visualization of distributed applications using the J-OCM monitoring system. We are focusing on the ...
168
click to vote
TGC
2010
Springer
15 years 1 days ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
139
Voted
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
100
click to vote
SERA
2005
Springer
15 years 7 months ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...