51692 search results - page 10205 / 10339 » it 2008 |
128
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
156
click to vote
ECOOPW
2008
Springer
15 years 6 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
182
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
148
click to vote
EDBT
2008
ACM
15 years 6 months ago
2008
ACM
The mobile phone industry has reached a saturation point. With low growth rates and fewer new customers available to acquire, competition among mobile operators is now focused on ...
155
click to vote
EDCC
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...