1755 search results - page 110 / 351 » Design and Implementation of Virtual Organizations |
125
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
151
click to vote
FAC
2010
15 years 2 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
141
click to vote
ICUMT
2009
15 years 1 months ago
2009
Massive Multiuser Virtual Environments (MMVEs) are rapidly expanding both in the number of users and complexity of interactions. Their needs of computational resources offer new ch...
125
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
: Applications such as Second Life require massive deployment of servers worldwide to support a large number of users. We investigate experimentally how Peer-to-Peer (P2P) communic...
123
click to vote
ICSR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...