3414 search results - page 230 / 683 » System Support for Object Groups |
122
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
114
click to vote
ASAP
2007
IEEE
15 years 10 months ago
2007
IEEE
Though all of the current main-stream OSs have supported superpage to some extent, most of them need runtime information provided by applications, simulator or other tools. Transp...
176
click to vote
MOBISYS
2011
ACM
14 years 7 months ago
2011
ACM
— Supporting interactive, multiplayer games on mobile phones over cellular networks is a difficult problem. It is particularly relevant now with the explosion of mostly single-p...
106
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
174
Voted
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...