5548 search results - page 334 / 1110 » Programming a Distributed System Using Shared Objects |
149
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
133
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—We study the dissemination of dynamic content, such as news or traffic information, over a mobile social network. In this application, mobile users subscribe to a dynamic-conte...
271
Voted
FM
1997
Springer
15 years 9 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
136
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
145
click to vote
CLUSTER
2008
IEEE
15 years 4 months ago
2008
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...