3828 search results - page 54 / 766 » Proof-Based System Engineering Using a Virtual System Model |
101
click to vote
WACC
1999
ACM
15 years 6 months ago
1999
ACM
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
126
Voted
VRST
2004
ACM
15 years 7 months ago
2004
ACM
The support of surgical interventions has long been in the focus of application-oriented augmented reality research. Modern methods of surgery, like minimally-invasive procedures,...
102
click to vote
IADIS
2003
15 years 3 months ago
2003
We present a simulation model used to evaluate a distributed search engine by modelling its performance. The model is designed to aid performance-driven evolution of the system. W...
124
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...
135
click to vote
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...