1407 search results - page 195 / 282 » The Use of Overloading in Java Programs |
103
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
110
click to vote
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
104
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
120
Voted
ISTA
2003
15 years 4 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
112
Voted
EJC
2000
15 years 3 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...