274 search results - page 13 / 55 » Programming Coordinated Behavior in Java |
109
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 3 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
86
Voted
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...