274 search results - page 15 / 55 » Programming Coordinated Behavior in Java |
140
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
104
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
117
click to vote
CATA
2003
15 years 1 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
ESAW
2000
Springer
15 years 3 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
104
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...