1210 search results - page 93 / 242 » Formal Techniques for Java Programs |
109
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
117
Voted
IH
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
119
Voted
FORTE
2008
15 years 4 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
100
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
124
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...