Sciweavers

4460 search results - page 595 / 892
» Resources in process algebra
Sort
View
FPL
2006
Springer
129views Hardware» more  FPL 2006»
15 years 10 months ago
A Reconfigurable Viterbi Decoder for a Communication Platform
A new large constraint length, soft decision viterbi decoder fabric is presented for deployment using platform based system on chip methodologies. The decoder can be reconfigured ...
Imran Ahmed, Tughrul Arslan
ACSAC
2001
IEEE
15 years 10 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
FOSAD
2000
Springer
15 years 10 months ago
Access Control: Policies, Models, and Mechanisms
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
Pierangela Samarati, Sabrina De Capitani di Vimerc...
KBSE
2000
IEEE
15 years 10 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha
LCR
2000
Springer
140views System Software» more  LCR 2000»
15 years 10 months ago
An Infrastructure for Monitoring and Management in Computational Grids
We present the design and implementation of an infrastructure that enables monitoring of resources, services, and applications in a computational grid and provides a toolkit to hel...
Abdul Waheed, Warren Smith, Jude George, Jerry C. ...