288 search results - page 16 / 58 » Virtual Machines, Managed Code and Component Technology |
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Industrial research firms such as Gartner and IDC are predicting an explosion in the number of online services in the coming years. Virtualization technologies could play an impor...
101
click to vote
ECTEL
2007
Springer
15 years 5 months ago
2007
Springer
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...
120
click to vote
VEE
2005
ACM
15 years 5 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
DISCEX
2003
IEEE
15 years 5 months ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...