Sciweavers

1433 search results - page 204 / 287
» The Design of Large Real-Time Systems: The Time-Triggered Ap...
Sort
View
UML
2001
Springer
15 years 3 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
EUROSEC
2009
ACM
15 years 6 months ago
Secure 3D graphics for virtual machines
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
Christopher Smowton
IPPS
2009
IEEE
15 years 5 months ago
EmBOINC: An emulator for performance analysis of BOINC projects
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
Trilce Estrada, Michela Taufer, Kevin Reed, David ...
MATES
2005
Springer
15 years 4 months ago
An Agent-Based Knowledge Acquisition Platform
Accessing up-to-date information in a fast and easy way implies the necessity of information management tools to explore and analyse the huge number of available electronic resourc...
David Sánchez, David Isern, Antonio Moreno
MM
2003
ACM
131views Multimedia» more  MM 2003»
15 years 4 months ago
Enhancing web accessibility
This demonstration will illustrate the key technical and user interface aspects of the Web Adaptation Technology. Various transformations underlying the system will be shown that ...
Alison Lee, Vicki L. Hanson