Sciweavers

2509 search results - page 75 / 502
» Developing Adaptable Components Using Dynamic Languages
Sort
View
ECBS
2005
IEEE
179views Hardware» more  ECBS 2005»
14 years 2 months ago
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty,...
POPL
2005
ACM
14 years 2 months ago
Specifying Kerberos 5 cross-realm authentication
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov,...
CASCON
2006
107views Education» more  CASCON 2006»
13 years 10 months ago
Tailoring UML activities to use case modeling for web application development
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
Alexander Lorenz, Hans-Werner Six
FORTE
2004
13 years 10 months ago
Generation of Integration Tests for Self-Testing Components
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
Leonardo Mariani, Mauro Pezzè, David Willmo...
VR
2003
IEEE
138views Virtual Reality» more  VR 2003»
14 years 2 months ago
Adaptive techniques for real-time haptic and visual simulation of bone dissection
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...