Sciweavers

628 search results - page 99 / 126
» On the Twofish Key Schedule
Sort
View
SPIN
2007
Springer
14 years 2 months ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...
ISORC
2006
IEEE
14 years 2 months ago
Dynamically Deploying Web Services on a Grid using Dynasoar
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
Paul Watson, Chris Fowler, Charles Kubicek, Arijit...
NCA
2006
IEEE
14 years 2 months ago
Parallelization of Geant4 Using TOP-C and Marshalgen
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
Gene Cooperman, Viet Ha Nguyen, Igor Malioutov
SOSE
2006
IEEE
14 years 2 months ago
Towards Service Discovery and Subscription based on Community-of-Interest
Current service discovery and subscription are “provider-centric” indeed, which costs the consumers too many efforts and makes the wide spectrum of QoS hard to use. In this po...
Xuanzhe Liu, Gang Huang, Hong Mei
TABLETOP
2006
IEEE
14 years 2 months ago
Supporting Mixed Presence Groupware in Tabletop Applications
In this paper we present the Transparent Input Device Layer framework to extend Java applications with support for multiple distributed input devices, a major requirement for tabl...
Peter Hutterer, Benjamin Close, Bruce H. Thomas