Sciweavers

2958 search results - page 245 / 592
» Extending and Implementing RASP
Sort
View
EWSA
2006
Springer
14 years 2 months ago
Automating the Building of Software Component Architectures
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
Nicolas Desnos, Sylvain Vauttier, Christelle Urtad...
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 2 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
FPL
2006
Springer
98views Hardware» more  FPL 2006»
14 years 2 months ago
Self-Reconfigurable Pervasive Platform for Cryptographic Application
The complexity exhibited by pervasive systems is constantly increasing. Customer electronics devices provide day to day a larger amount of functionalities. A common approach for g...
Arnaud Lagger, Andres Upegui, Eduardo Sanchez, Iva...
ACSAC
2001
IEEE
14 years 2 months ago
Determining Privileges of Mobile Agents
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...
Wayne A. Jansen
ARVLSI
2001
IEEE
258views VLSI» more  ARVLSI 2001»
14 years 2 months ago
Dynamic Charge Restoration of Floating Gate Subthreshold MOS Translinear Circuits
We extend a class of analog CMOS circuits that can be used to perform many analog computational tasks. The circuits utilize MOSFET's in their subthreshold region as well as c...
Vincent F. Koosh, Rodney M. Goodman