1210 search results - page 97 / 242 » Formal Techniques for Java Programs |
145
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
129
Voted
CD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. JBoss is an extensible Java application server that affords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
139
Voted
ASE
2005
15 years 2 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
104
Voted
INFSOF
2010
15 years 1 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
126
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...