Sciweavers

354 search results - page 59 / 71
» On Obligations
Sort
View
CONCURRENCY
2008
105views more  CONCURRENCY 2008»
13 years 10 months ago
Coordinating access control in grid services
We describe how to control the cumulative use of distributed grid resources by using coordination aware policy decision points (coordinated PDPs) and an SQL database to hold "...
David W. Chadwick, Linying Su, Romain Laborde
BMCBI
2006
125views more  BMCBI 2006»
13 years 10 months ago
Algebraic comparison of metabolic networks, phylogenetic inference, and metabolic innovation
Metabolic networks are naturally represented as directed hypergraphs in such a way that metabolites are nodes and enzyme-catalyzed reactions form (hyper)edges. The familiar operat...
Christian V. Forst, Christoph Flamm, Ivo L. Hofack...
IPL
2008
102views more  IPL 2008»
13 years 9 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
IVS
2008
79views more  IVS 2008»
13 years 9 months ago
Scalable and interactive visual analysis of financial wire transactions for fraud detection
Large financial institutions such as Bank of America handle hundreds of thousands of wire transactions per day. Although most transactions are legitimate, these institutions have ...
Remco Chang, Alvin Lee, Mohammad Ghoniem, Robert K...
ISM
2006
IEEE
132views Multimedia» more  ISM 2006»
13 years 9 months ago
BM-ALM: An Application Layer Multicasting with Behavior Monitoring Approach
IP multicasting is the most efficient way to perform group data distribution, as it eliminates traffic redundancy and improves bandwidth utilization. Application Layer Multicast (...
Dewan Tanvir Ahmed, Shervin Shirmohammadi