3971 search results - page 132 / 795 » On the Use of Properties in Java Applications |
156
Voted
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
156
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
136
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
158
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
132
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...