Sciweavers

8982 search results - page 79 / 1797
» Applications of Aglet Technology
Sort
View
110
Voted
PST
2008
15 years 4 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
107
Voted
DAGSTUHL
2006
15 years 4 months ago
Bridging the Gap between Relocatability and Available Technology: The Erlangen Slot Machine
We present an FPGA-based reconfigurable platform called Erlangen Slot Machine (ESM). The main advantages of this platform are: First, the possibility for each module to access peri...
Diana Göhringer, Mateusz Majer, Jürgen T...
SSR
2001
108views more  SSR 2001»
15 years 4 months ago
The use of mediation and ontology technologies for software component information retrieval
Component Based Development aims at constructing software through the inter-relationship between pre-existing components. However, these components should be bound to a specific a...
Regina M. M. Braga, Marta Mattoso, Cláudia ...
152
Voted
DOA
2000
159views more  DOA 2000»
15 years 4 months ago
Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware
Smartcards can be seen as service providing entities that implement a secure, tamper-proof storage and offer computational resources which make them ideally suited for a variety o...
Roger Kehr, Michael Rohs, Harald Vogt
IJCSA
2006
111views more  IJCSA 2006»
15 years 3 months ago
Using DocBook and XML Technologies to Create Adaptive Learning Content in Technical Domains
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
Iván Martínez-Ortiz, Pablo Moreno-Ge...