Sciweavers

861 search results - page 26 / 173
» Internal implementation
Sort
View
ICECCS
2007
IEEE
82views Hardware» more  ICECCS 2007»
15 years 6 months ago
Formalising Flash Memory: First Steps
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
Andrew Butterfield, Jim Woodcock
WETICE
2006
IEEE
15 years 5 months ago
Authorisation Using Attributes from Multiple Authorities
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....
David W. Chadwick
DMG
2005
Springer
15 years 5 months ago
Globally Distributed Data
1 International collaborations now manage globally distributed data collections based on the data and trust virtualization mechanisms provided by the Storage Resource Broker data g...
Reagan W. Moore
PVM
1998
Springer
15 years 3 months ago
WMPI - Message Passing Interface for Win32 Clusters
This paper describes WMPI1 , the first full implementation of the Message Passing Interface standard (MPI) for clusters of Microsoft's Windows platforms (Win32). Its internal ...
José Marinho, João Gabriel Silva
ATAL
1997
Springer
15 years 3 months ago
A Customizable Coordination Service for Autonomous Agents
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
Munindar P. Singh