Sciweavers

4800 search results - page 802 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
LICS
2003
IEEE
15 years 11 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
NDSS
2003
IEEE
15 years 11 months ago
Access Control Based on Execution History
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
Martín Abadi, Cédric Fournet
SRDS
2003
IEEE
15 years 11 months ago
Performance and Effectiveness Analysis of Checkpointing in Mobile Environments
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
Xinyu Chen, Michael R. Lyu
ELPUB
2003
ACM
15 years 11 months ago
The Omnipaper Metadata RDF/XML Prototype Implementation
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...
Teresa Susana Mendes Pereira, Ana Alice Baptista
SIGCSE
2003
ACM
198views Education» more  SIGCSE 2003»
15 years 11 months ago
Computer graphics in undergraduate computational science education
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
Steve Cunningham, Angela B. Shiflet